From 636b9f27052ef67192ee55a862c31e57a1ccad79 Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Tue, 3 Jan 2023 14:45:41 +0100
Subject: Support for BTOR witness to Yosys witness conversion

---
 backends/smt2/ywio.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'backends/smt2/ywio.py')

diff --git a/backends/smt2/ywio.py b/backends/smt2/ywio.py
index 8469b4162..39cfac41e 100644
--- a/backends/smt2/ywio.py
+++ b/backends/smt2/ywio.py
@@ -175,8 +175,9 @@ class WitnessSig:
         return self.sort_key < other.sort_key
 
 
-def coalesce_signals(signals):
-    bits = {}
+def coalesce_signals(signals, bits=None):
+    if bits is None:
+        bits = {}
     for sig in signals:
         for bit in sig.bits():
             if sig.init_only:
-- 
cgit v1.2.3