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

Add config

parent 5d0749ab
No related branches found
No related tags found
No related merge requests found
Pipeline #2267 passed
......@@ -72,6 +72,9 @@ do_tests()
zafl_domgraph_opt)
zafl.sh $progpath $protected -d -g --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_domgraph_opt_context_sensitive)
zafl.sh $progpath $protected -d -g --enable-context-sensitivity function --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_domgraph_locality)
zafl.sh $progpath $protected -d --enable-locality --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