diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-21 14:27:32 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-21 14:27:32 -0800 |
| commit | 3307295488ee51db20f4a5d911221a1ebc3b8254 (patch) | |
| tree | c3af99e2b8efaad1dca96e519de025411e96feb0 /Makefile | |
| parent | 6ccaf250df044d935e86ed2fb5bda71e9b932773 (diff) | |
| parent | d3ba1f97193fe55a58fcddd4b3bbc5c5ba15eea2 (diff) | |
| download | yosys-3307295488ee51db20f4a5d911221a1ebc3b8254.tar.gz yosys-3307295488ee51db20f4a5d911221a1ebc3b8254.tar.bz2 yosys-3307295488ee51db20f4a5d911221a1ebc3b8254.zip | |
Merge branch 'read_aiger' into xaig
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -581,6 +581,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 "" |