From f78d7280c1b393ad78a7a98cb8b2c1f83292ddc8 Mon Sep 17 00:00:00 2001 From: Egor Sheremetov Date: Wed, 4 Oct 2023 05:27:33 +0200 Subject: [PATCH] Added negative tests execution to the CI and root Makefile --- .github/workflows/blank.yml | 1 + Makefile | 3 +++ 2 files changed, 4 insertions(+) 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