From cc156e5164788e01a3b39e9a341a7a8eb7bc87d0 Mon Sep 17 00:00:00 2001
From: Anh <zenpoems@gmail.com>
Date: Sat, 24 Nov 2018 08:48:58 -0800
Subject: [PATCH] Add zafl configs
Former-commit-id: 6fde1ba2cfe1c6ba0f735e25ba703a0da18499a1
---
tests/test_cmds.sh | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh
index c6ce3b940..da770addc 100755
--- a/tests/test_cmds.sh
+++ b/tests/test_cmds.sh
@@ -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
;;
--
GitLab