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

Add context-sensitivity zafl config

parent 73ecc56b
No related branches found
No related tags found
No related merge requests found
Pipeline #2243 passed
......@@ -105,6 +105,9 @@ do_tests()
zafl_fix_map)
zafl.sh $progpath $protected --rida -m --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_context_sensitive)
zafl.sh $progpath $protected --rida --enable-context-sensitivity function --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zipr)
$PSZ $progpath $protected --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