diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2023-02-27 09:27:04 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2023-02-27 09:27:04 +0100 |
| commit | 28c4aac234b878e7f466185ed67232738d69b8e2 (patch) | |
| tree | 000aa815cfb4e231c8025684ad4fc9a0aae056ce /Makefile | |
| parent | d8cefec1691988a5a842371819be8adb981608de (diff) | |
| download | yosys-28c4aac234b878e7f466185ed67232738d69b8e2.tar.gz yosys-28c4aac234b878e7f466185ed67232738d69b8e2.tar.bz2 yosys-28c4aac234b878e7f466185ed67232738d69b8e2.zip | |
run verific tests in test target
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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) |