diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-10-14 16:49:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-14 16:49:15 +0200 |
| commit | 2daa56859f51631992cc172ccddad55e741b0c3d (patch) | |
| tree | ead6747321cd878dbba0543ef2e07ec02fc7a7ab /Makefile | |
| parent | e909f29ca32f29352b8e05518bca1d181808e524 (diff) | |
| parent | e84cedfae4211244da45ef51a84213874579117e (diff) | |
| download | yosys-2daa56859f51631992cc172ccddad55e741b0c3d.tar.gz yosys-2daa56859f51631992cc172ccddad55e741b0c3d.tar.bz2 yosys-2daa56859f51631992cc172ccddad55e741b0c3d.zip | |
Merge pull request #1448 from YosysHQ/daveshah1-sv-experiments
Typedef support (with wrong syntax)
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) |