From 7da5a24097a608ed26246e11f95176d6147f2837 Mon Sep 17 00:00:00 2001
From: Anh Nguyen-Tuong <zenpoems@gmail.com>
Date: Mon, 11 Mar 2019 16:10:09 -0400
Subject: [PATCH] Add laf sanity tests

---
 cicd_testing/afl-zafl.sh | 3 +++
 tools/laf/test/Makefile  | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/cicd_testing/afl-zafl.sh b/cicd_testing/afl-zafl.sh
index 7786ff3..6a4ec67 100755
--- a/cicd_testing/afl-zafl.sh
+++ b/cicd_testing/afl-zafl.sh
@@ -21,6 +21,9 @@ $ZAFL_HOME/tools/zax/test/test_graph.sh
 $ZAFL_HOME/tools/zax/test/test_context.sh
 $ZAFL_HOME/tools/zax/test/test_context_recursion.sh
 
+echo "Test laf"
+$ZAFL_HOME/tools/laf/test/run_tests.sh
+
 echo "Test zafl with ZAFL_TRACE_MAP_FIXED_ADDRESS=0x10000"
 export ZAFL_TRACE_MAP_FIXED_ADDRESS=0x10000
 $ZAFL_HOME/test/bc.fixed_map/test_bc.sh
diff --git a/tools/laf/test/Makefile b/tools/laf/test/Makefile
index b023fbc..9781dfe 100644
--- a/tools/laf/test/Makefile
+++ b/tools/laf/test/Makefile
@@ -13,7 +13,7 @@ test0.laf: test0.exe
 	$(PSZ) test0.exe $@ --critical-step laf=on -s meds_static=off -s rida=on
 
 test0.laf.zafl: test0.exe
-	zafl.sh $< $@ --enable-split-compare
+	zafl.sh $< $@ --enable-laf
 
 clean:
 	rm -fr peasoup_exec* *.o test_afl test_afl.laf test0.exe test0.laf a.out a.exe
-- 
GitLab