test case for rcr

diff --git a/Robust/src/Tests/rcr/makefile b/Robust/src/Tests/rcr/makefile
new file mode 100644 (file)
index 0000000..75f7394
--- /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 (file)
index 0000000..40e47ed
--- /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