From de33315f785f73df05368ae9ebcb65483c73d7d9 Mon Sep 17 00:00:00 2001
From: Anh Nguyen-Tuong <zenpoems@gmail.com>
Date: Mon, 18 Mar 2019 14:26:57 -0400
Subject: [PATCH] Add config zafl_laf_domgraph
Zafl + intel-laf + Tikir dominator graph heuristic
---
tests/test_cmds.sh | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh
index c6bd39216..07334a2e8 100755
--- a/tests/test_cmds.sh
+++ b/tests/test_cmds.sh
@@ -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
--
GitLab