convergence test for defreach

[IRC.git] / Robust / src / Benchmarks / oooJava / master-makefile

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)