diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh index d16897e8a52374cf84af5948064b10244bbdc451..b0aae4ee065832d26be1c2d7e116cc85484d3482 100755 --- a/tests/test_cmds.sh +++ b/tests/test_cmds.sh @@ -133,7 +133,13 @@ do_tests() 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-laf --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-split-compare -o laf:--enable-trace-div --tempdir $temp_dir > test_${prog}.ps.log 2>&1 + ;; + laf_split) + $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on -o laf:--disable-trace-div -o laf:--enable-split-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1 + ;; + laf_div) + $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on -o laf:--enable-trace-div -o laf:--disable-split-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1 ;; zipr) $PSZ $progpath $protected --tempdir $temp_dir > test_${prog}.ps.log 2>&1