Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / src / edu / tamu / aser / rvtest_simple_tests / TestDividebyZero.java

diff --git a/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/TestDividebyZero.java b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/TestDividebyZero.java
new file mode 100644 (file)
index 0000000..a211053
--- /dev/null
+++ b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/TestDividebyZero.java
@@ -0,0 +1,53 @@
+package edu.tamu.aser.rvtest_simple_tests;
+
+import static org.junit.Assert.fail;
+
+import org.junit.Test;
+import org.junit.runner.RunWith;
+
+import edu.tamu.aser.reexecution.JUnit4MCRRunner;
+
+@RunWith(JUnit4MCRRunner.class)
+public class TestDividebyZero {
+       static Object lock;
+       static int x;
+       
+       static MyThread t;
+       
+       public static void main(String[] args) throws InterruptedException
+       {
+                lock = new Object();
+               t = new MyThread();
+               t.start();
+               synchronized(lock)
+               {
+//                     t.start();
+                       x++;
+                       System.out.println(1/x);
+               }
+               
+       }
+       
+       static class MyThread extends Thread
+       {
+               public void run()
+               {
+                       //comment the lock can trigger the error
+//                     synchronized(lock)
+//                     {
+                               x++;
+//                     }
+                       x=0;
+               }
+       }
+       
+       @Test
+       public void test() throws InterruptedException {
+               try {
+                       x = 0;
+                       TestDividebyZero.main(null);
+               } catch (Exception e) {
+                       fail();
+               }
+       }
+}