kframework/k — pull request #252 by dwightguth (2014-02-27 18:17:18+00:00)
Title: run junit tests on every "ant test" invocation

We will eventually also add more unit tests, which is why I am putting them as part of the integrated build.