Added negative tests execution to the CI and root Makefile

This commit is contained in:
Egor Sheremetov 2023-10-04 05:27:33 +02:00
parent f51e482449
commit f78d7280c1
2 changed files with 4 additions and 0 deletions

View file

@ -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