From 50e46af1451993ec2e73acf8ad96524fe43fcc9a Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Mon, 29 Jul 2024 11:17:12 +1200
Subject: [PATCH] smtr: Fix initial state mismatch

---
 backends/functional/smtlib_rosette.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/functional/smtlib_rosette.cc b/backends/functional/smtlib_rosette.cc
index 868e3cae6e4..98b70182ef3 100644
--- a/backends/functional/smtlib_rosette.cc
+++ b/backends/functional/smtlib_rosette.cc
@@ -268,7 +268,7 @@ struct SmtrModule {
 		w.open(list("define", initial));
 		w.open(list(state_struct.name));
 		for (const auto &[name, sort] : ir.state()) {
-			w << list("bv", ir.get_initial_state_signal(name).as_int(), sort.width());
+			w << list("bv", "#b" + ir.get_initial_state_signal(name).as_string(), sort.width());
 		}
 		w.pop();
 	}