search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

Both Java backend and Maude backend can't give a error message when the program doesn't exist #1126

Closed liyili2 closed 10 years ago

liyili2 commented 10 years ago

If I have the following definition:

module TEST

     syntax KItem ::= "start"

endmodule

If I don't have the program (let's say the program is a.test), and I try to run the command:

krun a.test

The output will be similar to execute a program without any output:

qangel@qangel-Satellite-S855:~/project/csemantics/bin$ krun a.test
qangel@qangel-Satellite-S855:~/project/csemantics/bin$

I mean the error message is missing.

dwightguth commented 10 years ago

Should be fixed in #1123. Please reopen if that is not the case.