diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh index 1a869c6a80b97b0dadfc699ffda0a5a3abf0ca9e..d16897e8a52374cf84af5948064b10244bbdc451 100755 --- a/tests/test_cmds.sh +++ b/tests/test_cmds.sh @@ -124,16 +124,16 @@ do_tests() zafl.sh $progpath $protected --rida --enable-context-sensitivity function -l --tempdir $temp_dir > test_${prog}.ps.log 2>&1 ;; zafl_laf) - zafl.sh $progpath $protected --enable-split-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1 + zafl.sh $progpath $protected --enable-laf --tempdir $temp_dir > test_${prog}.ps.log 2>&1 ;; zafl_context_sensitive_laf) - zafl.sh $progpath $protected --rida --enable-split-compare --enable-context-sensitivity function --tempdir $temp_dir > test_${prog}.ps.log 2>&1 + zafl.sh $progpath $protected --rida --enable-laf --enable-context-sensitivity function --tempdir $temp_dir > test_${prog}.ps.log 2>&1 ;; zafl_context_sensitive_laf_domgraph) - zafl.sh $progpath $protected --rida --enable-split-compare --enable-context-sensitivity function -d --tempdir $temp_dir > test_${prog}.ps.log 2>&1 + zafl.sh $progpath $protected --rida --enable-laf --enable-context-sensitivity function -d --tempdir $temp_dir > test_${prog}.ps.log 2>&1 ;; laf) - $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on -o laf:--enable-split-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1 + $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on -o laf:--enable-laf --tempdir $temp_dir > test_${prog}.ps.log 2>&1 ;; zipr) $PSZ $progpath $protected --tempdir $temp_dir > test_${prog}.ps.log 2>&1