From: bdemsky <bdemsky>
Date: Mon, 11 Oct 2010 07:59:25 +0000 (+0000)
Subject: test case for rcr
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=81cf6016aaa1d9e89a63ea53d67f5910c7288a07;p=IRC.git

test case for rcr
---

diff --git a/Robust/src/Tests/rcr/makefile b/Robust/src/Tests/rcr/makefile
new file mode 100644
index 00000000..75f73944
--- /dev/null
+++ b/Robust/src/Tests/rcr/makefile
@@ -0,0 +1,32 @@
+PROGRAM1=testSingle
+PROGRAM2=testMulti
+
+SOURCE_FILES=test.java
+
+BUILDSCRIPT=../../buildscript
+
+USEOOO= -rcr -ooojava 8 2 -ooodebug
+BSFLAGS= -64bit -mainclass test -nooptimize -debug
+DISJOINT= -disjoint -disjoint-k 1 -enable-assertions #-disjoint-desire-determinism
+
+
+all: $(PROGRAM1).bin $(PROGRAM2).bin
+
+$(PROGRAM1).bin: $(SOURCE_FILES)
+	$(BUILDSCRIPT)           $(BSFLAGS) -o $(PROGRAM1) $(SOURCE_FILES)
+	rm -fr tmpbuilddirectory
+
+$(PROGRAM2).bin: $(SOURCE_FILES)
+	$(BUILDSCRIPT) $(USEOOO) $(BSFLAGS) -o $(PROGRAM2) $(SOURCE_FILES)
+
+clean:
+	rm -f  $(PROGRAM1).bin
+	rm -f  $(PROGRAM2).bin
+	rm -fr tmpbuilddirectory
+	rm -f  *~
+	rm -f  *.dot
+	rm -f  *.png
+	rm -f  *.txt
+	rm -f  aliases.txt
+	rm -f  mlpReport*txt
+	rm -f  results*txt
diff --git a/Robust/src/Tests/rcr/test.java b/Robust/src/Tests/rcr/test.java
new file mode 100644
index 00000000..40e47edc
--- /dev/null
+++ b/Robust/src/Tests/rcr/test.java
@@ -0,0 +1,16 @@
+public class test {
+  int x;
+  public test() {}
+
+  public static void main(String x[]) {
+    test r=new test();
+    int z;
+    sese foo {
+      r.x=2;
+    }
+    sese bar {
+      z=r.x;
+    }
+    System.out.println(z);
+  }
+}
\ No newline at end of file