diff --git a/tools/run_stratafied.tmpl.sh b/tools/run_stratafied.tmpl.sh index 4b69244edb9fd50ccce33e855242b2e1f7af414c..51b4fa387e2164c158f7778377bf072f07a37e33 100755 --- a/tools/run_stratafied.tmpl.sh +++ b/tools/run_stratafied.tmpl.sh @@ -3,7 +3,7 @@ # Don't use this script directly # need to get these from ps_analyze instead of hardwiring them -STRATA_DOUBLE_FREE=1 STRATA_HEAPRAND=1 STRATA_PC_CONFINE=1 STRATA_PC_CONFINE_XOR=0 STRATA_SIEVE=1 STRATA_RC=1 STRATA_PARTIAL_INLINING=0 ../../../a.stratafied "$@" +STRATA_DOUBLE_FREE=1 STRATA_HEAPRAND=1 STRATA_PC_CONFINE=1 STRATA_PC_CONFINE_XOR=0 STRATA_SIEVE=1 STRATA_RC=1 STRATA_PARTIAL_INLINING=0 STRATA_ANNOT_FILE=../../../a.ncexe.annot ../../../a.stratafied "$@" status=$? exit $status