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

Add untracer+critical edge config

Former-commit-id: c75f054601865d9c6c2978b2deb82ae7b7e2ee81
parent 5dfce11a
No related branches found
No related tags found
No related merge requests found
......@@ -72,6 +72,9 @@ do_tests()
zafl_untracer)
zafl.sh $progpath $protected --rida --tempdir $temp_dir --untracer > test_${prog}.ps.log 2>&1
;;
zafl_untracer_critical_edges)
zafl.sh $progpath $protected --rida --tempdir $temp_dir --untracer -c > 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