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 215b4a008c90b24fd11f0d8bfd57e4b6fb96fc12..d8e095e6b294b3bb91e6b065ca6e2824f3faaf49 100644 (file)
--- 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]