From e4d89db209f55cb7ec16154accdbeaa654c1bc11 Mon Sep 17 00:00:00 2001 From: Roland Coeurjoly Date: Mon, 26 Aug 2024 14:59:02 +0200 Subject: [PATCH] Update tests/verific/bounds.ys Co-authored-by: N. Engelhardt --- tests/verific/bounds.ys | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/tests/verific/bounds.ys b/tests/verific/bounds.ys index dcd4e483fa7..06b08267f61 100644 --- 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 \ No newline at end of file +select -assert-count 2 a:top_bound +select -assert-count 2 a:bottom_bound \ No newline at end of file