From fb7f3bb290c81b4cf2b4faa2ad9e10e0da41fd16 Mon Sep 17 00:00:00 2001 From: Dag Lem Date: Thu, 4 May 2023 13:36:57 +0200 Subject: [PATCH] Cleaner tests for RTLIL cells in struct_dynamic_range.sv --- tests/svtypes/.gitignore | 1 - tests/svtypes/struct_dynamic_range.ys | 7 +++---- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/tests/svtypes/.gitignore b/tests/svtypes/.gitignore index 75154e735..b48f808a1 100644 --- a/tests/svtypes/.gitignore +++ b/tests/svtypes/.gitignore @@ -1,4 +1,3 @@ /*.log /*.out /run-test.mk -/temp diff --git a/tests/svtypes/struct_dynamic_range.ys b/tests/svtypes/struct_dynamic_range.ys index 943a8c634..9606e7384 100644 --- a/tests/svtypes/struct_dynamic_range.ys +++ b/tests/svtypes/struct_dynamic_range.ys @@ -1,8 +1,7 @@ -! mkdir -p temp read_verilog -sv struct_dynamic_range.sv -write_rtlil temp/struct_dynamic_range.il -! grep -F -q ' cell $shift ' temp/struct_dynamic_range.il -! grep -F -q ' switch $mul' temp/struct_dynamic_range.il +select -assert-count 4 t:$mul +select -assert-count 2 t:$shift +select -assert-count 2 t:$shiftx prep -top top flatten sat -enable_undef -verify -prove-asserts