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

Add zuntracer config

Former-commit-id: 8f29588095ab526684760d0c32c9181fe92cdd0e
parent 84bfc032
No related branches found
No related tags found
No related merge requests found
......@@ -69,6 +69,9 @@ do_tests()
zafl0)
ZAFL_LIMIT_END=0 zafl.sh $progpath $protected --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_untracer)
zafl.sh $progpath $protected --rida --tempdir $temp_dir --untracer > test_${prog}.ps.log 2>&1
;;
zafl_rida)
zafl.sh $progpath $protected --rida --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