diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 19:06:51 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-20 19:41:27 -0700 |
| commit | eb09ea6d54738b82924e33c26f47fe35fbdd24cd (patch) | |
| tree | a759b8a7b0dbbe1b945147bf0117ee2366dad4e4 /Makefile | |
| parent | e612dade12b30bdee15b7dd2535af51e5ec1614d (diff) | |
| download | yosys-eb09ea6d54738b82924e33c26f47fe35fbdd24cd.tar.gz yosys-eb09ea6d54738b82924e33c26f47fe35fbdd24cd.tar.bz2 yosys-eb09ea6d54738b82924e33c26f47fe35fbdd24cd.zip | |
Run simple_abc9 tests
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 "" |