No Default KRun/Kompile File Parameters

kframework / kweb

Online extensible IDE for the K Framework and other formal verification projects. Example deployment at http://kframework.org/kweb/

5 stars 5 forks source link

Closed pdaian closed 9 years ago

pdaian commented 10 years ago

The following is currently broken in kweb due to K options handling:

Users cannot kompile or krun files without entering the filenames in the parameters box (will default to open file).

Whether this impacts usability is unclear (I don't remember why we originally added this feature). I will however leave this as an open issue.