vector resize isn't a problem, even without definite reachability, because we have...
[IRC.git] / Robust / src / Tests / disjoint / definiteVector / makefile
1 PROGRAM=Test
2
3 SOURCE_FILES=test.java
4
5 BUILDSCRIPT=../../../buildscript
6
7 DISJOINT= -disjoint -disjoint-k 1 -enable-assertions #-do-definite-reach-analysis
8
9 BSFLAGS= -justanalyze -mainclass $(PROGRAM) -heapsize-mb 1024 -noloop -joptimize -debug #-flatirusermethods
10
11
12 all:
13         $(BUILDSCRIPT) -thread $(BSFLAGS) $(DISJOINT) -o $(PROGRAM)s -builddir sing $(SOURCE_FILES)
14
15 clean:
16         rm -f  $(PROGRAM)s.bin
17         rm -fr sing
18         rm -f  *~
19         rm -f  *.dot
20         rm -f  *.png
21         rm -f  *.txt
22         rm -f  aliases.txt
23         rm -f  mlpReport*txt
24         rm -f  results*txt
25         rm -f  coreprof.dat