kframework / k-legacy

The K tools (deprecated, see README)

Home Page:http://kframework.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ktest does not correctly report exit code in case of exceptions

nishantjr opened this issue · comments

This is demonstrated on branch njr/ktest-incorrect-exit-code

See commit message for instructions on how to reproduce