From 28c4aac234b878e7f466185ed67232738d69b8e2 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Mon, 27 Feb 2023 09:27:04 +0100 Subject: [PATCH] run verific tests in test target --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 43b90355b..645b5103f 100644 --- a/Makefile +++ b/Makefile @@ -837,6 +837,9 @@ ABCOPT="" endif test: $(TARGETS) $(EXTRA_TARGETS) +ifeq ($(ENABLE_VERIFIC),1) + +cd tests/verific && bash run-test.sh $(SEEDOPT) +endif +cd tests/simple && bash run-test.sh $(SEEDOPT) +cd tests/simple_abc9 && bash run-test.sh $(SEEDOPT) +cd tests/hana && bash run-test.sh $(SEEDOPT)