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

Add zafl_rida config

Former-commit-id: 4ede11bf4375c5e18a75a938015ee56ff67b2b4b
parent 33fcd955
No related branches found
No related tags found
No related merge requests found
......@@ -73,6 +73,9 @@ do
zafl)
zafl.sh $progpath $protected --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
;;
zafl_ida)
zafl.sh $progpath $protected --ida --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