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:06:51 -0700 |
| commit | a0566b03ecfb13fba693d35e8af16913b45444c7 (patch) | |
| tree | 4fc1daff2937ad1bc7632cc9a293964fc1a6173f /Makefile | |
| parent | 7dca8def52fdd3a0e450d3f554c328904636798d (diff) | |
| download | yosys-a0566b03ecfb13fba693d35e8af16913b45444c7.tar.gz yosys-a0566b03ecfb13fba693d35e8af16913b45444c7.tar.bz2 yosys-a0566b03ecfb13fba693d35e8af16913b45444c7.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 "" |