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

Add config zafl_laf_domgraph 

Zafl + intel-laf + Tikir dominator graph heuristic
parent bf756186
No related branches found
No related tags found
No related merge requests found
Pipeline #2695 passed
Stage: clean
Stage: build
Stage: test
Stage: deploy
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 2 deletions
tests/test_cmds.sh
+ 5
− 2
View file @ de33315f
......@@ -124,10 +124,13 @@ do_tests()
zafl.sh $progpath $protected --rida --enable-context-sensitivity function -l --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_laf)
zafl.sh $progpath $protected -v --enable-laf --tempdir $temp_dir > test_${prog}.ps.log 2>&1
zafl.sh $progpath $protected --enable-laf --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_laf_domgraph)
zafl.sh $progpath $protected --enable-laf -d --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_context_sensitive_laf)
zafl.sh $progpath $protected -v --rida --enable-laf --enable-context-sensitivity function --tempdir $temp_dir > test_${prog}.ps.log 2>&1
zafl.sh $progpath $protected --rida --enable-laf --enable-context-sensitivity function --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
zafl_context_sensitive_laf_domgraph)
zafl.sh $progpath $protected --rida --enable-laf --enable-context-sensitivity function -d --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