$ make run
java -jar lib/jml4c.jar -d ./compiled-jmlunitng -cp lib/jml4c.jar:lib/jmlunitng.jar:lib/antlr-3.4-complete.jar antlr-generated/ src/
javac -cp lib/jml4rt.jar:lib/jmlunitng.jar:lib/antlr-3.4-complete.jar:./compiled-jmlunitng `find ./tests-jmlunit -name "*.java"`
java -cp lib/jmlunitng.jar:lib/jml4rt.jar:lib/antlr-3.4-complete.jar:./compiled-jmlunitng:./tests-jmlunit dk.itu.ituwhile.ItuWhileParser_JML_Test
[Parser] Running:
  Command line suite

Failed: racEnabled()
Skipped: constructor ItuWhileParser()
Skipped: constructor ItuWhileParser()
Skipped: aexpression()
Skipped: aterm()
Skipped: beginend()
Skipped: bexpression()
Skipped: block()
Skipped: cexpression()
Skipped: declaration()
Skipped: expression()
Skipped: fexpression()
Skipped: getDelegates()
Skipped: getGrammarFileName()
Skipped: getTokenNames()
Skipped: getTreeAdaptor()
Skipped: program()
Skipped: setTreeAdaptor()
Skipped: statement()
Skipped: statements()
Skipped: static main()
Skipped: synpred18_ItuWhile()
Skipped: synpred18_ItuWhile_fragment()
Skipped: synpred19_ItuWhile()
Skipped: synpred19_ItuWhile_fragment()
Skipped: synpred32_ItuWhile()
Skipped: synpred32_ItuWhile_fragment()
Skipped: synpred33_ItuWhile()
Skipped: synpred33_ItuWhile_fragment()
Skipped: synpred34_ItuWhile()
Skipped: synpred34_ItuWhile_fragment()
Skipped: synpred35_ItuWhile()
Skipped: synpred35_ItuWhile_fragment()
Skipped: synpred36_ItuWhile()
Skipped: synpred36_ItuWhile_fragment()
Skipped: synpred37_ItuWhile()
Skipped: synpred37_ItuWhile_fragment()
Skipped: synpred8_ItuWhile()
Skipped: synpred8_ItuWhile_fragment()
Skipped: target()
Skipped: texpression()

===============================================
Command line suite
Total tests run: 41, Failures: 1, Skips: 40
===============================================

bash-3.2$