mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-26 18:45:34 +00:00
fix test for verific
This commit is contained in:
parent
cd8e6cbc64
commit
10297127be
1 changed files with 1 additions and 1 deletions
|
@ -26,9 +26,9 @@ struct packed {
|
|||
|
||||
always_comb begin
|
||||
assert ($dimensions(s) == 1);
|
||||
assert ($dimensions(s.t) == 1);
|
||||
assert ($dimensions(s.x) == 1);
|
||||
`ifndef VERIFIC
|
||||
assert ($dimensions(s.t) == 1);
|
||||
assert ($dimensions({3{s.x}}) == 1);
|
||||
`endif
|
||||
assert ($dimensions(s.sy.y) == 2);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue