extend test

[IRC.git] / Robust / src / buildscript

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 5e4ca12f7c6bb0bf1def994e382d8bacf698884e..2aa7938df746c54425e30e890e05f29988375dd6 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -50,6 +50,7 @@ echo -disjoint-dvisit-stack-callees-on-top alternate stack strat
 echo -disjoint-dvisit-pqueue use prio. q strat to visit descriptors
 echo -disjoint-desire-determinism set above interproc for determinism
 echo -disjoint-debug-scheduling debug when methods are scheduled for analysis
+echo -do-definite-reach-analysis enable improved precision for disjoint reachability analysis
 echo
 echo -pointsto-check-v-runtime check allocation site of pointer targets at runtime to help verify heap analysis results
 echo 
@@ -813,6 +814,7 @@ fi
 shift
 done
 
+
 BUILDDIR="$CURDIR/$tmpbuilddirectory"
 
 BAMBOORUNTIME=$ROBUSTROOT/Runtime/bamboo
@@ -828,8 +830,11 @@ then
 JAVAOPTS="$JAVAOPTS -struct structfile"
 fi
 
+if $TILERAFLAG
+then
 # for tilera code, generate multicorememsize.h
 ./generate_memsize.sh ${TILERA_PAGE_SIZE} ${TILERA_PAGE_SIZE_BITS} ${TILERA_NUM_BLOCKS} ${TILERA_NUM_PAGES_PER_BLOCK} ${BUILDDIR}
+fi
 
 
 #########################
@@ -924,11 +929,14 @@ else
   fi
 fi
 
+# after executing Main, if -justanalyze flag, just exit
 if $EXITAFTERANALYSIS
 then
 exit
 fi
 
+
+
 # Build all of the consistency specs
 
 if $CHECKFLAG # CHECKFLAG