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