diff --git a/peasoup_examples/tests/test_cmds.sh b/peasoup_examples/tests/test_cmds.sh index 23418e61954cc36b950ff6af2ba008d6b02c5cde..c2916edd09a4b3a97e533a9b5f721fccff5562fa 100755 --- a/peasoup_examples/tests/test_cmds.sh +++ b/peasoup_examples/tests/test_cmds.sh @@ -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 ;;