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

Add more test configs (zafl+fix_map) 

Former-commit-id: 7c0d17832fec0295596e1fa1b0ed13e0157fa1b4
parent df222274
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 6 additions and 0 deletions
tests/test_cmds.sh
+ 6
− 0
View file @ 046a2091
...@@ -72,9 +72,15 @@ do_tests() ...@@ -72,9 +72,15 @@ do_tests()
zafl_untracer) zafl_untracer)
zafl.sh $progpath $protected --rida --tempdir $temp_dir --untracer > test_${prog}.ps.log 2>&1 zafl.sh $progpath $protected --rida --tempdir $temp_dir --untracer > test_${prog}.ps.log 2>&1
;; ;;
zafl_untracer_fix_map)
zafl.sh $progpath $protected --rida -m --tempdir $temp_dir --untracer > test_${prog}.ps.log 2>&1
;;
zafl_untracer_critical_edges) 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 > 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_rida) zafl_rida)
zafl.sh $progpath $protected --rida --tempdir $temp_dir > test_${prog}.ps.log 2>&1 zafl.sh $progpath $protected --rida --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;; ;;
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment