diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-10-14 05:24:31 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-10-14 05:24:31 +0200 |
| commit | e84cedfae4211244da45ef51a84213874579117e (patch) | |
| tree | fb0a14f4c06675a7d3dbb5a1f22d386402e22d0b /Makefile | |
| parent | 3c6a566d865e3d70f8793225a6d211ce3d6246a1 (diff) | |
| parent | e46e8753c84ee83f871d5ce116ce4c08dd49a031 (diff) | |
| download | yosys-e84cedfae4211244da45ef51a84213874579117e.tar.gz yosys-e84cedfae4211244da45ef51a84213874579117e.tar.bz2 yosys-e84cedfae4211244da45ef51a84213874579117e.zip | |
Use "(id)" instead of "id" for types as temporary hack
Signed-off-by: Clifford Wolf <clifford@clifford.at>
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) |