luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-10-06 01:53:53 +02:00
Code Issues Packages Projects Releases Wiki Activity

Expand test into three tests for three cases

Browse Source 
(1) no check, (2) check with warning, (3) check
with error. Previously the single test was not
testing all cases, as it was exiting after the
first error.
This commit is contained in:
Gus Smith
2026-02-23 10:27:36 -08:00
parent b454582f54
commit c0f1654028
3 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/sim/undriven_replay.ys
-5
View File
@@ -3,8 +3,3 @@ prep -top undriven_replay
logger -expect error "Found 1 undriven signal in the replay trace" 1
sim -r undriven_replay.vcd -scope undriven_replay -q
logger -expect warning "Input trace contains undriven signal" 1
sim -r undriven_replay.vcd -scope undriven_replay -q -undriven-warn
sim -r undriven_replay.vcd -scope undriven_replay -q -no-undriven-check
tests/sim/undriven_replay_nocheck.ys
+4
View File
@@ -0,0 +1,4 @@
read_verilog undriven_replay.v
prep -top undriven_replay
sim -r undriven_replay.vcd -scope undriven_replay -q -no-undriven-check
tests/sim/undriven_replay_warn.ys
+5
View File
@@ -0,0 +1,5 @@
read_verilog undriven_replay.v
prep -top undriven_replay
logger -expect warning "Input trace contains undriven signal" 1
sim -r undriven_replay.vcd -scope undriven_replay -q -undriven-warn