From 0849c42b13bcc3e696b859e531939d73b4d73bab Mon Sep 17 00:00:00 2001
From: Anh <zenpoems@gmail.com>
Date: Thu, 17 Jan 2019 06:26:10 -0800
Subject: [PATCH] Add untracer+critical edge config
Former-commit-id: c75f054601865d9c6c2978b2deb82ae7b7e2ee81
---
tests/test_cmds.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh
index b7f13ea38..33ad965bc 100755
--- a/tests/test_cmds.sh
+++ b/tests/test_cmds.sh
@@ -72,6 +72,9 @@ do_tests()
zafl_untracer)
zafl.sh $progpath $protected --rida --tempdir $temp_dir --untracer > test_${prog}.ps.log 2>&1
;;
+ zafl_untracer_critical_edges)
+ zafl.sh $progpath $protected --rida --tempdir $temp_dir --untracer -c > test_${prog}.ps.log 2>&1
+ ;;
zafl_rida)
zafl.sh $progpath $protected --rida --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
--
GitLab