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

laf option to zafl.sh has changed

parent cd333c6e
No related branches found
No related tags found
No related merge requests found
Pipeline #2517 passed
Stage: clean
Stage: build
Stage: test
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 4 deletions
tests/test_cmds.sh
+ 4
− 4
View file @ 91aa4fea
......@@ -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
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment