diff options
| author | Jannis Harder <me@jix.one> | 2023-01-03 14:45:41 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2023-01-11 18:07:16 +0100 |
| commit | 636b9f27052ef67192ee55a862c31e57a1ccad79 (patch) | |
| tree | 3d9177af1c3360c28a348a982245966b6aa1af00 /backends/smt2/ywio.py | |
| parent | 3e25e61778cc9fe427bf68f45de43f26985b12c3 (diff) | |
| download | yosys-636b9f27052ef67192ee55a862c31e57a1ccad79.tar.gz yosys-636b9f27052ef67192ee55a862c31e57a1ccad79.tar.bz2 yosys-636b9f27052ef67192ee55a862c31e57a1ccad79.zip | |
Support for BTOR witness to Yosys witness conversion
Diffstat (limited to 'backends/smt2/ywio.py')
| -rw-r--r-- | backends/smt2/ywio.py | 5 |
1 files changed, 3 insertions, 2 deletions
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: |