diff --git a/cicd_testing/afl-zafl.sh b/cicd_testing/afl-zafl.sh index 7786ff3328fae939d823490da6811eea3b584b46..6a4ec67673fba5ac060e2028fb7a3caf8b972386 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 b023fbca013ef749c3e65eaa90032be7a0b36184..9781dfe5bf743b91185ad8aee27e9b93a27ea4d2 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