Properly use transitive closure of allocation sites when resolving

[IRC.git] / Robust / src / Tests / OwnershipAnalysisTest / test01 / makefile

diff --git a/Robust/src/Tests/OwnershipAnalysisTest/test01/makefile b/Robust/src/Tests/OwnershipAnalysisTest/test01/makefile
index 9168b1cda02e7b21ebaa161b132f10de805b2611..650e7e72e0d255f1114a37fe621e33a80de32b8c 100644 (file)
--- a/Robust/src/Tests/OwnershipAnalysisTest/test01/makefile
+++ b/Robust/src/Tests/OwnershipAnalysisTest/test01/makefile
@@ -3,7 +3,7 @@ PROGRAM=test01
 SOURCE_FILES=test01.java
 
 BUILDSCRIPT=~/research/Robust/src/buildscript
-BSFLAGS= -recover -flatirtasks -ownership #-enable-assertions
+BSFLAGS= -recover -flatirtasks -ownership -enable-assertions
 #BSFLAGS= -recover -ownership -enable-assertions
 
 all: $(PROGRAM).bin
@@ -54,3 +54,4 @@ clean:
        rm -f  *.png
        rm -f  *.ps
        rm -f  *.eps
+       rm -f  identifiedAliases.txt