From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 29 Mar 2018 10:45:31 +0000 (+0200)
Subject: Bugfix in smtio.py VCD file generator
X-Git-Tag: yosys-0.8~135
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a48c7e5abfc1dd406039991ebac73db59c8a432f;p=yosys.git

Bugfix in smtio.py VCD file generator

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 215b4a008..d8e095e6b 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -991,7 +991,7 @@ class MkVcd:
                     for i in range(len(uipath)):
                         uipath[i] = re.sub(r"\[([^\]]*)\]", r"<\1>", uipath[i])
 
-                    while uipath[:len(scope)] != scope[:-1]:
+                    while uipath[:len(scope)] != scope:
                         print("$upscope $end", file=self.f)
                         scope = scope[:-1]