Parser Tests Commented Out
ehildenb opened this issue · comments
In the test file DefinitionParserTest, the assertEquals lines in the tests are commented out.
@daejunpark, it looks like commit de8eee2 disables these.
Por que?
kframework / k-legacy
The K tools (deprecated, see README)