Skip to content
Snippets Groups Projects
Commit bf756186 authored by Anh Nguyen-Tuong's avatar Anh Nguyen-Tuong
Browse files

Turn off verbosity

parent 46da93e7
No related branches found
No related tags found
No related merge requests found
Pipeline #2689 passed
...@@ -133,7 +133,7 @@ do_tests() ...@@ -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 zafl.sh $progpath $protected --rida --enable-laf --enable-context-sensitivity function -d --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;; ;;
laf) 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) 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 $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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment