diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index 786b052b0..d3bd62541 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -39,3 +39,4 @@ jobs: - run: opam exec -- make - run: opam exec -- make regression-all - run: opam exec -- make unit_tests + - run: opam exec -- make negative_scenarios_tests diff --git a/Makefile b/Makefile index 31cf4a107..2425f393b 100644 --- a/Makefile +++ b/Makefile @@ -46,6 +46,9 @@ unit_tests: ./runtime/invariants_check.o ./runtime/invariants_check_debug_print.o +negative_scenarios_tests: + $(MAKE) -C runtime negative_tests + clean: $(MAKE) clean -C src $(MAKE) clean -C runtime