diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh index 505caea4764f84e2de8abd2855966c187a19e6f0..59bde2a3a9a1a3cc23af442288c4726d9f86dfe2 100755 --- a/tests/test_cmds.sh +++ b/tests/test_cmds.sh @@ -123,6 +123,9 @@ do_tests() zafl_context_sensitive_locality) zafl.sh $progpath $protected --rida --enable-context-sensitivity function -l --tempdir $temp_dir > test_${prog}.ps.log 2>&1 ;; + zafl_laf) + zafl.sh $progpath $protected --enable-split-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1 + ;; zipr) $PSZ $progpath $protected --tempdir $temp_dir > test_${prog}.ps.log 2>&1 ;;