adding a test case
[IRC.git] / Robust / src / Benchmarks / SSJava / JavaNatorInfer / RobotMain.java
2013-02-06 yeomchanges + bring up uncommited previous changes.
2012-11-04 yeomChanges: Inference engine works fine with the JavaNator...
2012-10-31 yeomchanges + add two more benchmarks without annotations