Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / src / edu / tamu / aser / rvtest / sharedobject / SharedObjecTest.java

diff --git a/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/sharedobject/SharedObjecTest.java b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/sharedobject/SharedObjecTest.java
new file mode 100644 (file)
index 0000000..46b54b4
--- /dev/null
+++ b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/sharedobject/SharedObjecTest.java
@@ -0,0 +1,58 @@
+package edu.tamu.aser.rvtest.sharedobject;
+
+import org.junit.Test;
+import org.junit.runner.RunWith;
+
+import edu.tamu.aser.reexecution.JUnit4MCRRunner;
+
+@RunWith(JUnit4MCRRunner.class)
+public class SharedObjecTest {
+
+       static SharedObject sObject = new SharedObject();
+       public static void main(String[] args) {
+               // TODO Auto-generated method stub
+               
+               WorkThread t1 = new WorkThread(0);
+        WorkThread t2 =  new WorkThread(1);
+        t1.start();
+        t2.start();
+        try {
+                       t1.join();
+                       t2.join();
+               } catch (InterruptedException e) {
+                       // TODO Auto-generated catch block
+                       e.printStackTrace();
+               }
+        
+        
+        System.out.println(sObject.al1);
+        
+    }
+    
+    @Test
+       public void test() throws InterruptedException {
+       SharedObjecTest.main(null);
+    }
+    
+    static class WorkThread extends Thread
+    {
+        int choice;
+        
+        public WorkThread(int choice) {
+            this.choice = choice;
+        }
+        
+        public void run() {
+//            System.out.flush();
+            switch (choice) {
+                case 0:
+                    sObject.al1 = sObject.al1 + sObject.al2;
+                    break;
+                case 1:
+                       sObject.al1 = "L";
+                    break;
+            }
+        }
+       }
+
+}