smtr: Fix initial state mismatch

YosysHQ · Jul 28, 2024 · 50e46af · 50e46af
1 parent 9e71932
commit 50e46af
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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();
 	}