diff options
| author | whitequark <whitequark@whitequark.org> | 2019-08-19 16:44:23 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2019-08-19 16:44:23 +0000 |
| commit | 4a942ba7b9bb76f207adf23369f46d31f7607b75 (patch) | |
| tree | 99aa7de39093fa08b8b531dc4454dede36bd72fb /Makefile | |
| parent | 4adcbecec5c6bfcdd3ed1d6ed753d3a7670e3eea (diff) | |
| download | yosys-4a942ba7b9bb76f207adf23369f46d31f7607b75.tar.gz yosys-4a942ba7b9bb76f207adf23369f46d31f7607b75.tar.bz2 yosys-4a942ba7b9bb76f207adf23369f46d31f7607b75.zip | |
proc_clean: fix order of switch insertion.
Fixes #1268.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -695,6 +695,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/proc && bash run-test.sh +cd tests/opt && bash run-test.sh +cd tests/aiger && bash run-test.sh $(ABCOPT) +cd tests/arch && bash run-test.sh |