From: Marcelina Kościelnicka <mwk@0x04.net>
Date: Fri, 10 Sep 2021 02:55:48 +0000 (+0200)
Subject: yosys-smtbmc: Fix reused loop variable.
X-Git-Tag: yosys-0.10~13
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=33749f1e3aea0d0ee4d1b5b29eb00f3e4f4bae41;p=yosys.git

yosys-smtbmc: Fix reused loop variable.

Fixes #2999.
---

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[:])