diff --git a/Makefile b/Makefile index c2dbe3e6efe2b5ac82aaa28c208feddaded8c0e3..5dfef3c69f80bd941b49d1b2b2ec77e697bd6832 100644 --- a/Makefile +++ b/Makefile @@ -168,7 +168,7 @@ force-reconfigure: ############################################################################## .PHONY: tests clean-tests -TESTS=builtins cil constant_propagation float idct libc metrics misc occurrence rte rte_manual slicing sparecode scope syntax value +TESTS=builtins cil constant_propagation float idct impact libc metrics misc occurrence rte rte_manual slicing sparecode scope syntax value tests: config.sed find tests -name dune | grep -e "oracle.*/\|result.*/" | xargs --no-run-if-empty rm dune exec -- ptests/ptests.exe