konoha-project/konoha — pull request #50 by wakamori (2012-06-27 12:59:55+00:00)
Title: output FAILED message and exit with error statuscode when ktest failed

Currently test result doesn't returned correctly.

$ cat test.k
System.p("hi");
$ cat test.k.proof
different text
Q.E.D.
$ konoha --test-with test.k | echo $?
0

So I fixed command.c to return error status when test.k.proof is different from test.k.failed