Add laf sanity tests

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

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