riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

yosys-smtbmc: Fix reused loop variable. 

Fixes #2999.
This commit is contained in:
Marcelina Kościelnicka 2021-09-10 04:55:48 +02:00
parent 1d61a911b7
commit 33749f1e3a
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
backends/smt2/smtbmc.py
View File

@ -771,12 +771,12 @@ def write_vcd_trace(steps_start, steps_stop, index):
if gotread: if gotread:
buf = data[:] buf = data[:]
for i in reversed(range(len(tdata))): for ii in reversed(range(len(tdata))):
for k in range(width): for k in range(width):
if tdata[i][k] == "x": if tdata[ii][k] == "x":
tdata[i][k] = buf[k] tdata[ii][k] = buf[k]
else: else:
buf[k] = tdata[i][k] buf[k] = tdata[ii][k]
if not asyncwr: if not asyncwr:
tdata.append(data[:]) tdata.append(data[:])