diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-21 14:17:48 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-21 14:17:48 -0800 |
| commit | d3ba1f97193fe55a58fcddd4b3bbc5c5ba15eea2 (patch) | |
| tree | d010149ea4db044e5e1d58061186238545c983bb /Makefile | |
| parent | 92b60d5e42c57e2c268ef13bcc3138a5399501b8 (diff) | |
| parent | d365682a21147b6a06d9548a6f4b99d347931441 (diff) | |
| download | yosys-d3ba1f97193fe55a58fcddd4b3bbc5c5ba15eea2.tar.gz yosys-d3ba1f97193fe55a58fcddd4b3bbc5c5ba15eea2.tar.bz2 yosys-d3ba1f97193fe55a58fcddd4b3bbc5c5ba15eea2.zip | |
Merge branch 'read_aiger' of https://github.com/eddiehung/yosys into read_aiger
Diffstat (limited to 'Makefile')
| -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 "" |