use ztring

NikolajBjorner · NikolajBjorner · commit 1e62029413f7 · 2024-11-25T17:36:42.000-08:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git a/src/ast/sls/sls_seq_plugin.cpp b/src/ast/sls/sls_seq_plugin.cpp
@@ -1196,7 +1196,7 @@ namespace sls {
         }
         else {
             for (auto& str : conts)
-                m_str_updates.push_back({ x, str + m_chars[ctx.rand(m_chars.size())], 1});
+                m_str_updates.push_back({ x, str + zstring(m_chars[ctx.rand(m_chars.size())]), 1});
         }
         return apply_update();
     }

Original file line number	Diff line number	Diff line change
`@@ -1196,7 +1196,7 @@ namespace sls {`
`1196`	`1196`	`}`
`1197`	`1197`	`else {`
`1198`	`1198`	`for (auto& str : conts)`
`1199`		`- m_str_updates.push_back({ x, str + m_chars[ctx.rand(m_chars.size())], 1});`
	`1199`	`+ m_str_updates.push_back({ x, str + zstring(m_chars[ctx.rand(m_chars.size())]), 1});`
`1200`	`1200`	`}`
`1201`	`1201`	`return apply_update();`
`1202`	`1202`	`}`