diff options
author | Marcelina KoĆcielnicka <mwk@0x04.net> | 2021-09-10 04:55:48 +0200 |
---|---|---|
committer | Marcelina KoĆcielnicka <mwk@0x04.net> | 2021-09-10 13:34:58 +0200 |
commit | 33749f1e3aea0d0ee4d1b5b29eb00f3e4f4bae41 (patch) | |
tree | 3e3ca2e0d7acff03379d02b72e86910948402fc3 /backends/smt2 | |
parent | 1d61a911b7a47a557796b48ca920e40c903071f8 (diff) | |
download | yosys-33749f1e3aea0d0ee4d1b5b29eb00f3e4f4bae41.tar.gz yosys-33749f1e3aea0d0ee4d1b5b29eb00f3e4f4bae41.tar.bz2 yosys-33749f1e3aea0d0ee4d1b5b29eb00f3e4f4bae41.zip |
yosys-smtbmc: Fix reused loop variable.
Fixes #2999.
Diffstat (limited to 'backends/smt2')
-rw-r--r-- | backends/smt2/smtbmc.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py index be27a3d09..e5cfcdc08 100644 --- a/backends/smt2/smtbmc.py +++ b/backends/smt2/smtbmc.py @@ -771,12 +771,12 @@ def write_vcd_trace(steps_start, steps_stop, index): if gotread: buf = data[:] - for i in reversed(range(len(tdata))): + for ii in reversed(range(len(tdata))): for k in range(width): - if tdata[i][k] == "x": - tdata[i][k] = buf[k] + if tdata[ii][k] == "x": + tdata[ii][k] = buf[k] else: - buf[k] = tdata[i][k] + buf[k] = tdata[ii][k] if not asyncwr: tdata.append(data[:]) |