From bfa8e56ea247cf3eeb847bf4b33ccee42b3fa11f Mon Sep 17 00:00:00 2001
From: Anh <zenpoems@gmail.com>
Date: Wed, 12 Sep 2018 12:58:16 -0400
Subject: [PATCH] Add zafl_rida config
Former-commit-id: 4ede11bf4375c5e18a75a938015ee56ff67b2b4b
---
tests/test_cmds.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh
index 099e94abd..6df0ed815 100755
--- a/tests/test_cmds.sh
+++ b/tests/test_cmds.sh
@@ -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
;;
--
GitLab