diff --git a/peasoup_examples/tests/test_cmds.sh b/peasoup_examples/tests/test_cmds.sh index cc9c33824c4f2b8cc7ace3446ed78d02e9a90d40..5879790e3d52b80040be6adac263d5aaffaeec1f 100755 --- a/peasoup_examples/tests/test_cmds.sh +++ b/peasoup_examples/tests/test_cmds.sh @@ -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 ;;