diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-19 15:25:47 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-19 15:25:47 -0800 |
| commit | d365682a21147b6a06d9548a6f4b99d347931441 (patch) | |
| tree | 20a661fb90b6d235214ee6c3f2a84a97e38c4194 | |
| parent | 78873d5bbb3fe13d7d43c162d7c5e6d73cdd7d33 (diff) | |
| download | yosys-d365682a21147b6a06d9548a6f4b99d347931441.tar.gz yosys-d365682a21147b6a06d9548a6f4b99d347931441.tar.bz2 yosys-d365682a21147b6a06d9548a6f4b99d347931441.zip | |
Add aiger tests to make tests
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 "" |