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

Add "the works" config for zafl

parent c3276694
No related branches found
No related tags found
No related merge requests found
......@@ -135,6 +135,9 @@ do_tests()
zafl_context_sensitive_laf_domgraph)
zafl.sh $progpath $protected --rida --enable-laf --enable-context-sensitivity function -d --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_context_sensitive_laf_domgraph_optgraph)
zafl.sh $progpath $protected --rida --enable-laf --enable-context-sensitivity function -d -g --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
laf)
$PSZ $progpath $protected -s rida -c laf --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