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

Add zafl configs

Former-commit-id: 6fde1ba2cfe1c6ba0f735e25ba703a0da18499a1
parent 15d33517
No related branches found
No related tags found
No related merge requests found
......@@ -76,6 +76,12 @@ do_tests()
zafl_ida_nostars)
zafl.sh $progpath $protected --ida --no-stars --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_nostars)
zafl.sh $progpath $protected --no-stars --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_opt_graph)
zafl.sh $progpath $protected -g --tempdir $temp_dir > 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