tests: adjust to input_port and init behavior (sketchy)

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

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