Merge pull request #221 from xiaohe27/test

uncomment test
runtimeverification · Dec 21, 2015 · 6d9b0f5 · 6d9b0f5
2 parents db849c4 + aae9d78
commit 6d9b0f5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/java/syntax/StaticEventIT.java b/src/test/java/syntax/StaticEventIT.java
@@ -19,7 +19,7 @@ public class StaticEventIT {
 
     private final TestHelper helper = new TestHelper(path + File.separator + testName + ".mop");
 
-//    @Test
+    @Test
     public void StaticEventTest() throws Exception {
         String command = System.getProperty("user.dir") + File.separator + "bin" + File.separator + "javamop";
         if (SystemUtils.IS_OS_WINDOWS) {