strong updates, everything ready to do method calls

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

diff --git a/Robust/src/Tests/OwnershipAnalysisTest/test03/makefile b/Robust/src/Tests/OwnershipAnalysisTest/test03/makefile
index 4944b686ea2d6baa908628a57d32cf664a8615c7..65cc0bbd340734de374148affd8d6c680364b461 100644 (file)
--- a/Robust/src/Tests/OwnershipAnalysisTest/test03/makefile
+++ b/Robust/src/Tests/OwnershipAnalysisTest/test03/makefile
@@ -1,45 +1,17 @@
-PROGRAM=test03
+PROGRAM=test01
 
-SOURCE_FILES=test03.java
+SOURCE_FILES=$(PROGRAM).java
 
 BUILDSCRIPT=~/research/Robust/src/buildscript
-BSFLAGS= -recover -flatirtasks -ownership #-enable-assertions
-#BSFLAGS= -recover -ownership -enable-assertions
+BSFLAGS= -recover -flatirtasks -ownership -enable-assertions
 
 all: $(PROGRAM).bin
 
 view: PNGs
-       eog *flatIRGraph*.png &
-       #eog *FN*.png &
-       #eog *Ownership*.png &
-       eog *.png &
-
-printable:
-       rm -f *Startup*.dot
-       rm -f *FlatMethod*.dot
-       rm -f *FlatOpNode*.dot
-       rm -f *FlatFieldNode*.dot
-       rm -f *FlatSetFieldNode*.dot
-       rm -f *FlatCall*.dot
-       rm -f *Parameter*.dot
-       rm -f *Penguin*.dot
-       rm -f *Voo*.dot
-       rm -f *Baw*.dot
-       rm -f *COMPLETE.dot
-       dot2eps *.dot
+       eog *.png
 
 PNGs: DOTs
-       #rm -f *Startup*.dot
-       rm -f *FlatMethod*.dot
-       rm -f *FlatOpNode*.dot
-       rm -f *FlatFieldNode*.dot
-       rm -f *FlatSetFieldNode*.dot
-       rm -f *FlatCall*.dot
-       rm -f *Parameter*.dot
-       rm -f *Penguin*.dot
-       rm -f *Voo*.dot
-       rm -f *Baw*.dot
-       d2p *.dot
+       d2p *COMPLETE*.dot
 
 DOTs: $(PROGRAM).bin