From b7c97ba74388a8ac1dbcd196071480f5b2708b75 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Sat, 7 Mar 2026 01:08:57 +0100
Subject: [PATCH] tests: adjust to input_port and init behavior (sketchy)

---
 tests/opt/bug1758.ys        | 5 ++---
 tests/opt/opt_clean_init.ys | 2 +-
 2 files changed, 3 insertions(+), 4 deletions(-)

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