From 487f8cb6f5e1c805e573d09b90bcbe592e71bf65 Mon Sep 17 00:00:00 2001
From: Anh Nguyen-Tuong <zenpoems@gmail.com>
Date: Sat, 23 Feb 2019 17:21:40 -0500
Subject: [PATCH] Add config
---
peasoup_examples/tests/test_cmds.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/peasoup_examples/tests/test_cmds.sh b/peasoup_examples/tests/test_cmds.sh
index 23418e619..c2916edd0 100755
--- a/peasoup_examples/tests/test_cmds.sh
+++ b/peasoup_examples/tests/test_cmds.sh
@@ -72,6 +72,9 @@ do_tests()
zafl_domgraph_opt)
zafl.sh $progpath $protected -d -g --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
+ zafl_domgraph_opt_context_sensitive)
+ zafl.sh $progpath $protected -d -g --enable-context-sensitivity function --tempdir $temp_dir > test_${prog}.ps.log 2>&1
+ ;;
zafl_domgraph_locality)
zafl.sh $progpath $protected -d --enable-locality --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
--
GitLab