Adding JMCR-Stable version

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

diff --git a/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/pingpong/BugThread.java b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/pingpong/BugThread.java
new file mode 100755 (executable)
index 0000000..0941745
--- /dev/null
+++ b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/pingpong/BugThread.java
@@ -0,0 +1,40 @@
+package edu.tamu.aser.rvtest.pingpong;\r
+\r
+/**\r
+ *@author Golan\r
+ * 17/10/2003\r
+ * 12:01:25\r
+ *@version 1.0\r
+ */\r
+\r
+\r
+public class BugThread extends Thread {\r
+\r
+\r
+    BuggedProgram bg;\r
+\r
+\r
+    /**\r
+     *\r
+     * @param bg\r
+     */\r
+    public BugThread(BuggedProgram bg) {\r
+        this.bg = bg;\r
+    }\r
+\r
+\r
+    /**\r
+     *\r
+     */\r
+    public void run() {\r
+        this.ping();\r
+    }\r
+\r
+\r
+    /**\r
+     *\r
+     */\r
+    public void ping() {\r
+        bg.pingPong();\r
+    }\r
+}\r