a test.

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

diff --git a/Robust/src/Tests/disjoint/crashTest1/test.java b/Robust/src/Tests/disjoint/crashTest1/test.java
index 65ad0095e1dc66a4ff608188bf6a959531908e36..bc65e9a5c6b4888dfd377f3f76226a321d688be1 100644 (file)
--- a/Robust/src/Tests/disjoint/crashTest1/test.java
+++ b/Robust/src/Tests/disjoint/crashTest1/test.java
@@ -4,14 +4,19 @@ public class Foo {
 }
 
 public class Test {
-  static public void main( String[] args ) {
-    Foo a = disjoint A new Foo();
-    f1(a);
-  }
-     
-  static public void f1( Foo c ) {
-    Foo d = new Foo();
-    c.f = d;
-  }
+
+    
+    static public void main( String[] args ) {
+       Foo a=getAFoo();
+       f1(a);
+    }
+    
+    static public void f1( Foo c ) {
+       c.f = getAFoo();
+    }
     
+    static public Foo getAFoo(){
+       return disjoint NEW new Foo();
+    } 
+  
 }