diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh index 5508530c85b3ebc8bff46e236cbf8094ebd150a7..c6bd392163c500cb0f638401098f6239aac29c77 100755 --- a/tests/test_cmds.sh +++ b/tests/test_cmds.sh @@ -133,7 +133,7 @@ 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:-v --tempdir $temp_dir > test_${prog}.ps.log 2>&1 + $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on --tempdir $temp_dir > test_${prog}.ps.log 2>&1 ;; laf_cmp) $PSZ $progpath $protected -s rida=on -s meds_static=off -s laf=on -o laf:--disable-trace-div -o laf:--enable-trace-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1