diff options
| author | David Shah <dave@ds0.me> | 2019-09-20 13:00:26 +0100 |
|---|---|---|
| committer | David Shah <dave@ds0.me> | 2019-10-03 09:54:14 +0100 |
| commit | abc155715dbe8db5ee95707f7c243f23954ca139 (patch) | |
| tree | 9fb6bdc43c6c12c89283827963ad5fce8d5c99a4 /Makefile | |
| parent | c0bb47beca2fb78670ab14515047a88a677cc608 (diff) | |
| download | yosys-abc155715dbe8db5ee95707f7c243f23954ca139.tar.gz yosys-abc155715dbe8db5ee95707f7c243f23954ca139.tar.bz2 yosys-abc155715dbe8db5ee95707f7c243f23954ca139.zip | |
sv: Add test scripts for typedefs
Signed-off-by: David Shah <dave@ds0.me>
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) |