Skip to content
Snippets Groups Projects
Commit b3215b80 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

adds tests/sparecode

parent 80aa8c95
No related branches found
No related tags found
No related merge requests found
......@@ -168,7 +168,7 @@ force-reconfigure:
##############################################################################
.PHONY: tests clean-tests
TESTS=cil constant_propagation float idct metrics occurrence rte rte_manual slicing scope value syntax misc builtins libc
TESTS=builtins cil constant_propagation float idct 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
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment