Skip to content

Commit

Permalink
fixup! check: Extend testing
Browse files Browse the repository at this point in the history
  • Loading branch information
povik committed Feb 12, 2024
1 parent 54c12bd commit 092cfa0
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions tests/various/check.ys
Original file line number Diff line number Diff line change
Expand Up @@ -35,8 +35,6 @@ module top(clk, y, sideread_addr, sideread_data);
endmodule
EOF
hierarchy -top top
stat
shell
prep -rdff
select -assert-count 1 t:$mem_v2
check -assert
Expand Down

0 comments on commit 092cfa0

Please sign in to comment.