Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/TestString.java b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/TestString.java
new file mode 100644 (file)
index 0000000..7bb5c87
--- /dev/null
+++ b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/TestString.java
@@ -0,0 +1,54 @@
+package edu.tamu.aser.rvtest_simple_tests;
+
+import org.junit.Test;
+import org.junit.runner.RunWith;
+
+import edu.tamu.aser.reexecution.JUnit4MCRRunner;
+
+@RunWith(JUnit4MCRRunner.class)
+public class TestString {
+
+       static String al1;
+    static String al2;
+    public static void main(String args[]) throws InterruptedException {
+       
+       al1 = new String("H");
+       al2 = new String("W");
+
+        WorkThread t1 = new WorkThread(0);
+        WorkThread t2 =  new WorkThread(1);
+        t1.start();
+        t2.start();
+        t1.join();
+        t2.join();
+        
+        System.out.println(al1);
+        
+    }
+    
+    @Test
+       public void test() throws InterruptedException {
+       TestString.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:
+                    al1 = al1 + al2;
+                    break;
+                case 1:
+                    al1 = "";
+                    break;
+            }
+        }
+    }
+}
\ No newline at end of file