mirror of https://github.com/YosysHQ/yosys.git
tests: Check that Icarus can parse arch sim models
Signed-off-by: David Shah <dave@ds0.me>
This commit is contained in:
parent
0d2b87e3ed
commit
71b046d639
1
Makefile
1
Makefile
|
@ -681,6 +681,7 @@ test: $(TARGETS) $(EXTRA_TARGETS)
|
||||||
+cd tests/svinterfaces && bash run-test.sh $(SEEDOPT)
|
+cd tests/svinterfaces && bash run-test.sh $(SEEDOPT)
|
||||||
+cd tests/opt && bash run-test.sh
|
+cd tests/opt && bash run-test.sh
|
||||||
+cd tests/aiger && bash run-test.sh
|
+cd tests/aiger && bash run-test.sh
|
||||||
|
+cd tests/arch && bash run-test.sh
|
||||||
@echo ""
|
@echo ""
|
||||||
@echo " Passed \"make test\"."
|
@echo " Passed \"make test\"."
|
||||||
@echo ""
|
@echo ""
|
||||||
|
|
|
@ -0,0 +1,8 @@
|
||||||
|
#!/bin/bash
|
||||||
|
|
||||||
|
set -e
|
||||||
|
|
||||||
|
echo "Running syntax check on arch sim models"
|
||||||
|
for arch in ../../techlibs/*; do
|
||||||
|
find $arch -name cells_sim.v -print0 | xargs -0 -n1 -r iverilog -t null -I$arch
|
||||||
|
done
|
Loading…
Reference in New Issue