Skip to content
Snippets Groups Projects
Commit 7a20428d authored by Jason Hiser's avatar Jason Hiser :tractor:
Browse files

updated test-cmds to be more specific about what edges to use for critical...

updated test-cmds to be more specific about what edges to use for critical edge breaker -- required for zafl.sh changes
parent 626a80de
No related branches found
No related tags found
No related merge requests found
Pipeline #5411 passed
......@@ -88,10 +88,10 @@ do_tests()
zafl.sh $progpath $protected --rida -m --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.sh $progpath $protected --rida --tempdir $temp_dir --untracer -c all > test_${prog}.ps.log 2>&1
;;
zafl_untracer_critical_edges_fix_map)
zafl.sh $progpath $protected -m --rida --tempdir $temp_dir --untracer -c > test_${prog}.ps.log 2>&1
zafl.sh $progpath $protected -m --rida --tempdir $temp_dir --untracer -c all > 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