krun autofill broken - Githubissues

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

krun autofill broken #23

Closed pdaian closed 9 years ago

pdaian commented 9 years ago

When using the K tool on KWeb, clicking a kompiled definition followed by a program neither autofills the krun box nor adds the appropriate ("-d") arguments to kompile.

Steps to reproduce:

Chrome + Linux
http://www.kframework.org/index.php/Lesson_1,_LAMBDA:_Syntax_Modules_and_Basic_K_Commands
Click expand
Click lambda.k
Click any program under tests
KRun box not autofilled

kheradmand commented 9 years ago

fixed :+1: