mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-19 07:16:27 +00:00
Code Activity

Fix nolatch test.

Browse source
This commit is contained in:
nella 2026-06-15 15:27:58 +02:00
parent 01e2698247
commit a46bc77eeb
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/various/check_nolatches.ys
View file

@ -3,7 +3,7 @@ module top(input g, rn, d, output reg q);
always @* if (~rn) q <= 0; else if (g) q <= d;
endmodule
EOT
proc -latches info
proc
select -assert-count 1 t:$dlatch
logger -expect warning "is a latch of type" 1
check -nolatches
@ -26,6 +26,6 @@ module top(input g, rn, d, output reg q);
always @* if (~rn) q <= 0; else if (g) q <= d;
endmodule
EOT
proc -latches info
proc
logger -expect error "Found 1 problems in" 1
check -nolatches -assert