From 046a209122ac966ae11a24398729f2cb6612bad3 Mon Sep 17 00:00:00 2001
From: Anh Nguyen-Tuong <zenpoems@gmail.com>
Date: Wed, 30 Jan 2019 15:13:51 -0500
Subject: [PATCH] Add more test configs (zafl+fix_map)
Former-commit-id: 7c0d17832fec0295596e1fa1b0ed13e0157fa1b4
---
tests/test_cmds.sh | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh
index 587c817d8..f04c31011 100755
--- a/tests/test_cmds.sh
+++ b/tests/test_cmds.sh
@@ -72,9 +72,15 @@ do_tests()
zafl_untracer)
zafl.sh $progpath $protected --rida --tempdir $temp_dir --untracer > test_${prog}.ps.log 2>&1
;;
+ zafl_untracer_fix_map)
+ zafl.sh $progpath $protected --rida -m --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_untracer_critical_edges_fix_map)
+ zafl.sh $progpath $protected -m --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