From 405fdbe9d7664fc594c6765cd2cc28c5cffdb5a9 Mon Sep 17 00:00:00 2001
From: Anh <zenpoems@gmail.com>
Date: Mon, 11 Feb 2019 18:40:03 -0800
Subject: [PATCH] Add config for zafl + dominator graph optimization
Former-commit-id: ff47ab5c0927eb3f4dbb642284aa1fdb8f89e6a8
---
tests/test_cmds.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh
index 990226e0d..5ce40763e 100755
--- a/tests/test_cmds.sh
+++ b/tests/test_cmds.sh
@@ -105,6 +105,9 @@ do_tests()
zafl_fix_map)
zafl.sh $progpath $protected --rida -m --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
+ zafl_dom)
+ zafl.sh $progpath $protected --rida -d --tempdir $temp_dir > test_${prog}.ps.log 2>&1
+ ;;
zipr)
$PSZ $progpath $protected --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
--
GitLab