3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-03-29 23:59:02 +00:00

Try to make it more stable

This commit is contained in:
Miodrag Milanovic 2026-03-25 11:59:33 +01:00
parent 19cf399da6
commit 239599581d

View file

@ -87,7 +87,8 @@ def extra():
gen_tests_makefile.generate_target("always_full_equiv", cmd([
"$(YOSYS) -p \"read_verilog always_full.v; prep; clean\" -o yosys-always_full-1.v",
"iverilog -o iverilog-always_full-1 yosys-always_full-1.v always_full_tb.v",
"./iverilog-always_full-1 | grep -v \"$finish called\" >iverilog-always_full-1.log",
"./iverilog-always_full-1 > tmp.log",
"grep -v '\\$finish called' tmp.log > iverilog-always_full-1.log",
"diff iverilog-always_full.log iverilog-always_full-1.log",
]))