convergence test for defreach

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index c9f74277b1ffdc74bafffbd1edc4669491ec182e..30f711a0486cd5adc3ab3a47bcfd8b490825505c 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/master-makefile
+++ b/Robust/src/Benchmarks/oooJava/master-makefile
@@ -128,10 +128,10 @@ $(PROGRAM)c.bin: $(SOURCE_FILES) ../master-makefile
 
 
 disjoint: $(SOURCE_FILES) ../master-makefile
-       $(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(DISJOINT) -justanalyze $(SOURCE_FILES)
+       $(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(DISJOINT) -justanalyze -count-visits $(SOURCE_FILES)
 
 disjoint-defreach: $(SOURCE_FILES) ../master-makefile
-       $(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(DISJOINT) -justanalyze -do-definite-reach-analysis $(SOURCE_FILES)
+       $(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(DISJOINT) -justanalyze -count-visits -do-definite-reach-analysis $(SOURCE_FILES)
 
 ooo-defreach: $(SOURCE_FILES) ../master-makefile
        $(BUILDSCRIPT) $(BMFLAGS) $(BSFLAGS) $(USECOREPROF) $(USEOOO) $(DISJOINTDEBUG) -do-definite-reach-analysis -o $(PROGRAM)d -builddir def  $(SOURCE_FILES) 

diff --git a/Robust/src/Benchmarks/oooJava/run-defreach-exp.sh b/Robust/src/Benchmarks/oooJava/run-defreach-exp.sh
new file mode 100755 (executable)
index 0000000..d12738b
--- /dev/null
+++ b/Robust/src/Benchmarks/oooJava/run-defreach-exp.sh
@@ -0,0 +1,32 @@
+#!/bin/bash
+
+CUR=`pwd`
+echo 'Definite Reachability Experiment' > defreachexp.txt
+
+for i in *
+do
+if [ -d "$i" ] ; then
+echo ENTERING $i 
+echo '' >> defreachexp.txt
+echo "$i" >> defreachexp.txt
+cd $i
+
+echo 'for NORMAL' >> ../defreachexp.txt
+for c in 1 2 3 4 5 6 7 8 9 10
+do
+make clean; make disjoint >> TEMP
+done
+grep "Fixed point algorithm" TEMP >> ../defreachexp.txt
+
+echo 'for DEFREACH' >> ../defreachexp.txt
+for c in 1 2 3 4 5 6 7 8 9 10
+do
+make clean; make disjoint-defreach >> TEMP
+done
+grep "Fixed point algorithm" TEMP >> ../defreachexp.txt
+
+make clean
+rm -f TEMP
+cd $CUR
+fi
+done