diff --git a/test/functional/test_zafl_configs.sh b/test/functional/test_zafl_configs.sh new file mode 100755 index 0000000000000000000000000000000000000000..95f6d4c7261c2df47dcc1657f86cc06391eb5888 --- /dev/null +++ b/test/functional/test_zafl_configs.sh @@ -0,0 +1,8 @@ +echo "Test various zafl configs" + +zafl_configs="zafl zafl_domgraph zafl_domgraph_opt zafl_domgraph_opt_context_sensitive zafl_nostars zafl_laf_domgraph zafl_context_sensitive_laf zafl_context_sensitive_laf_domgraph zafl_context_sensitive_laf_domgraph_optgraph" + +$PEASOUP_HOME/tests/test_cmds.sh -c "$zafl_configs" + + +