diff --git a/tests/opt/bug1758.ys b/tests/opt/bug1758.ys
index 85dfaceb8..f0a98d413 100644
--- a/tests/opt/bug1758.ys
+++ b/tests/opt/bug1758.ys
@@ -8,12 +8,11 @@ copy gold fine
 
 cd coarse
 opt_expr
-select -assert-none c:*
+select -assert-none c:* t:$input_port %d
 
 cd fine
 opt_expr
-select -assert-none c:*
-
+select -assert-none c:* t:$input_port %d
 cd
 miter -equiv -flatten -make_assert -make_outputs coarse fine miter
 sat -verify -prove-asserts -show-ports miter
diff --git a/tests/opt/opt_clean_init.ys b/tests/opt/opt_clean_init.ys
index 7933f3e17..8faaacba5 100644
--- a/tests/opt/opt_clean_init.ys
+++ b/tests/opt/opt_clean_init.ys
@@ -19,4 +19,4 @@ EOT
 synth
 check -assert -initdrv
 
-select -assert-count 1 a:init=2'b0x
+select -assert-count 1 a:init=1'b0