runtimeverification/javamop — pull request #146 by seriousamlqz (2014-10-21 16:33:11+00:00)
Title: Fixtest

@kheradmand @xiaohe27 @yzhang90 Please review.

@owolabileg If you have time please try to run mvn verify on Windows machine, with javamop/bin removed from $PATH.