aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorwhitequark <whitequark@whitequark.org>2019-08-18 08:04:10 +0000
committerGitHub <noreply@github.com>2019-08-18 08:04:10 +0000
commit101235400caeb4ec019311dfb96100b770060c92 (patch)
treee1a9537620e8a7dbc213044beea3d7e71173c410 /Makefile
parent8a2480526f2ff80cbdf0f0f4279e8989b53b6e9b (diff)
parent2a78a1fd00fe66972885117efb1ac6a8b095f061 (diff)
downloadyosys-101235400caeb4ec019311dfb96100b770060c92.tar.gz
yosys-101235400caeb4ec019311dfb96100b770060c92.tar.bz2
yosys-101235400caeb4ec019311dfb96100b770060c92.zip
Merge branch 'master' into eddie/pr1266_again
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 95b5d451b..2efa5e72c 100644
--- a/Makefile
+++ b/Makefile
@@ -686,6 +686,7 @@ test: $(TARGETS) $(EXTRA_TARGETS)
+cd tests/asicworld && bash run-test.sh $(SEEDOPT)
# +cd tests/realmath && bash run-test.sh $(SEEDOPT)
+cd tests/share && bash run-test.sh $(SEEDOPT)
+ +cd tests/opt_share && bash run-test.sh $(SEEDOPT)
+cd tests/fsm && bash run-test.sh $(SEEDOPT)
+cd tests/techmap && bash run-test.sh
+cd tests/memories && bash run-test.sh $(ABCOPT) $(SEEDOPT)