projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e612dad)
Run simple_abc9 tests
authorEddie Hung <eddie@fpgeh.com>
Fri, 21 Jun 2019 02:06:51 +0000 (19:06 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 21 Jun 2019 02:41:27 +0000 (19:41 -0700)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index fb0eaf14dc7d3290801996d036eaa374d8ceabc5..fd4e90c1526e8c2fba622c744226dd7bbe269759 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -681,6 +681,7 @@ test: $(TARGETS) $(EXTRA_TARGETS)
        +cd tests/svinterfaces && bash run-test.sh $(SEEDOPT)
        +cd tests/opt && bash run-test.sh
        +cd tests/aiger && bash run-test.sh
+       +cd tests/simple_abc9 && bash run-test.sh $(SEEDOPT)
        @echo ""
        @echo "  Passed \"make test\"."
        @echo ""