From be4a704e32223af6283a5f4d1bb88d58a390c3f9 Mon Sep 17 00:00:00 2001
From: Anh Nguyen-Tuong <zenpoems@gmail.com>
Date: Wed, 6 Mar 2019 16:59:49 -0500
Subject: [PATCH] Add laf config
---
tests/test_cmds.sh | 3 +++
1 file changed, 3 insertions(+)
diff --git a/tests/test_cmds.sh b/tests/test_cmds.sh
index 505caea47..59bde2a3a 100755
--- a/tests/test_cmds.sh
+++ b/tests/test_cmds.sh
@@ -123,6 +123,9 @@ do_tests()
zafl_context_sensitive_locality)
zafl.sh $progpath $protected --rida --enable-context-sensitivity function -l --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
+ zafl_laf)
+ zafl.sh $progpath $protected --enable-split-compare --tempdir $temp_dir > test_${prog}.ps.log 2>&1
+ ;;
zipr)
$PSZ $progpath $protected --tempdir $temp_dir > test_${prog}.ps.log 2>&1
;;
--
GitLab