diff options
author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-23 06:13:48 +0000 |
---|---|---|
committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-23 17:30:53 +0000 |
commit | 1b333d49ef0144d6f440b1c6cc57a6a6e2d4a1de (patch) | |
tree | 40a2b7dd10e0e01a03eaf867b324a48a0b82f863 /Makefile | |
parent | 5026f36250b7043195566b33fa0fae60746c4d97 (diff) | |
download | yosys-1b333d49ef0144d6f440b1c6cc57a6a6e2d4a1de.tar.gz yosys-1b333d49ef0144d6f440b1c6cc57a6a6e2d4a1de.tar.bz2 yosys-1b333d49ef0144d6f440b1c6cc57a6a6e2d4a1de.zip |
Add tests for `select` command warnings.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -716,6 +716,7 @@ test: $(TARGETS) $(EXTRA_TARGETS) +cd tests/memories && bash run-test.sh $(ABCOPT) $(SEEDOPT) +cd tests/bram && bash run-test.sh $(SEEDOPT) +cd tests/various && bash run-test.sh + +cd tests/select && 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) |