running new experiments

[IRC.git] / Robust / src / Tests / disjoint / definite3 / makefile

diff --git a/Robust/src/Tests/disjoint/definite3/makefile b/Robust/src/Tests/disjoint/definite3/makefile
index 462f41d4916fe10d42cf6a945a930ae16dfab82b..603f5056a2f8a694ea400e899042367e8d8d176d 100644 (file)
--- a/Robust/src/Tests/disjoint/definite3/makefile
+++ b/Robust/src/Tests/disjoint/definite3/makefile
@@ -4,7 +4,7 @@ SOURCE_FILES=test.java
 
 BUILDSCRIPT=../../../buildscript
 
-DISJOINT= -disjoint -disjoint-k 1 -enable-assertions -do-definite-reach-analysis
+DISJOINT= -disjoint -disjoint-k 1 -enable-assertions -do-definite-reach-analysis -disjoint-count-graph-elements -disjoint-write-dots final
 
 BSFLAGS= -justanalyze -mainclass $(PROGRAM) -heapsize-mb 1024 -noloop -joptimize -debug #-flatirusermethods