diff options
| author | Benedikt Tutzer <benedikt.tutzer@gmail.com> | 2019-10-15 10:13:21 +0200 |
|---|---|---|
| committer | Benedikt Tutzer <benedikt.tutzer@gmail.com> | 2019-10-15 10:13:21 +0200 |
| commit | f8f572fbfc4e5de3afa7dc05f5fa1feff87aabd3 (patch) | |
| tree | daca10f9ee8149bc7ee13eb9cf89702886275947 /Makefile | |
| parent | 79be986e2248540854c3e8e1e21f5bf971079690 (diff) | |
| parent | 2daa56859f51631992cc172ccddad55e741b0c3d (diff) | |
| download | yosys-f8f572fbfc4e5de3afa7dc05f5fa1feff87aabd3.tar.gz yosys-f8f572fbfc4e5de3afa7dc05f5fa1feff87aabd3.tar.bz2 yosys-f8f572fbfc4e5de3afa7dc05f5fa1feff87aabd3.zip | |
Merge branch 'master' of https://github.com/YosysHQ/yosys into feature/python_wrappers/globals_and_streams
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -708,6 +708,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) +cd tests/various && bash run-test.sh +cd tests/sat && bash run-test.sh +cd tests/svinterfaces && bash run-test.sh $(SEEDOPT) + +cd tests/svtypes && bash run-test.sh $(SEEDOPT) +cd tests/proc && bash run-test.sh +cd tests/opt && bash run-test.sh +cd tests/aiger && bash run-test.sh $(ABCOPT) |