projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 78873d5)
Add aiger tests to make tests
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Feb 2019 23:25:47 +0000 (15:25 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Feb 2019 23:25:47 +0000 (15:25 -0800)
Makefile patch | blob | history

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