cc paper example, THERE IS A BUG

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

diff --git a/Robust/src/Tests/disjoint/crashTest1/makefile b/Robust/src/Tests/disjoint/crashTest1/makefile
index dcb012af1b6a6059828d47e82d39a4d0a3891d1d..a501749dc25f4599027fde6f6ee74d42c5820899 100644 (file)
--- a/Robust/src/Tests/disjoint/crashTest1/makefile
+++ b/Robust/src/Tests/disjoint/crashTest1/makefile
@@ -2,8 +2,11 @@ PROGRAM=test
 
 SOURCE_FILES=$(PROGRAM).java
 
-BUILDSCRIPT=~/research/Robust/src/buildscript
-BSFLAGS= -mainclass Test -justanalyze -disjoint -disjoint-k 1 -disjoint-write-dots final -disjoint-alias-file aliases.txt normal -enable-assertions
+BUILDSCRIPT=../../../buildscript
+
+DEBUGFLAGS= -disjoint-debug-callsite f1 main 1
+
+BSFLAGS= -mainclass Test -justanalyze -disjoint -disjoint-k 2 -disjoint-write-dots all -disjoint-write-ihms -disjoint-alias-file aliases.txt normal -enable-assertions
 
 all: $(PROGRAM).bin
 
@@ -16,7 +19,7 @@ PNGs: DOTs
 DOTs: $(PROGRAM).bin
 
 $(PROGRAM).bin: $(SOURCE_FILES)
-       $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
+       $(BUILDSCRIPT) $(BSFLAGS) $(DEBUGFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
 
 clean:
        rm -f  $(PROGRAM).bin