From 7b583345fb915906e6b6d04f47067b79b2e24f91 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Mon, 9 Jan 2012 19:09:11 +0000
Subject: [PATCH] convergence test for defreach

---
 Robust/src/Benchmarks/oooJava/master-makefile |  4 +--
 .../Benchmarks/oooJava/run-defreach-exp.sh    | 32 +++++++++++++++++++
 2 files changed, 34 insertions(+), 2 deletions(-)
 create mode 100755 Robust/src/Benchmarks/oooJava/run-defreach-exp.sh

diff --git a/Robust/src/Benchmarks/oooJava/master-makefile b/Robust/src/Benchmarks/oooJava/master-makefile
index c9f74277..30f711a0 100644
--- 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
index 00000000..d12738b6
--- /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
-- 
2.34.1