From: yeom <yeom>
Date: Thu, 18 Mar 2010 20:32:57 +0000 (+0000)
Subject: a test.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f26361c2dfc72922580f06fe84c9ccc6666ddcaf;p=IRC.git

a test.
---

diff --git a/Robust/src/Tests/disjoint/crashTest1/makefile b/Robust/src/Tests/disjoint/crashTest1/makefile
index dcb012af..a501749d 100644
--- 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 65ad0095..bc65e9a5 100644
--- 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();
+    } 
+  
 }