Update tests/verific/bounds.ys

Co-authored-by: N. Engelhardt <[email protected]>
YosysHQ · Aug 26, 2024 · e4d89db · e4d89db
1 parent 7eff1a0
commit e4d89db
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/tests/verific/bounds.ys b/tests/verific/bounds.ys
@@ -1,5 +1,4 @@
 read -vhdl bounds.vhd
 verific -import work
-write_rtlil bounds.il
-! grep -F -q "\top_bound 64's" bounds.il
-! grep -F -q "\bottom_bound 64's" bounds.il
+select -assert-count 2 a:top_bound
+select -assert-count 2 a:bottom_bound