mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 09:35:32 +00:00
Code Activity

Merge branch 'xprop' of github.com:jix/yosys into claire/eqystuff

Browse source
This commit is contained in:
Claire Xenia Wolf 2022-12-01 11:31:39 +01:00
commit 956b7f5fd1
29 changed files with 2537 additions and 79 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Makefile
View file

@ -881,6 +881,7 @@ test: $(TARGETS) $(EXTRA_TARGETS)
+cd tests/rpc && bash run-test.sh
+cd tests/memfile && bash run-test.sh
+cd tests/verilog && bash run-test.sh
+cd tests/xprop && bash run-test.sh $(SEEDOPT)
@echo ""
@echo " Passed \"make test\"."
@echo ""