From a48c7e5abfc1dd406039991ebac73db59c8a432f Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 29 Mar 2018 12:45:31 +0200 Subject: [PATCH] Bugfix in smtio.py VCD file generator Signed-off-by: Clifford Wolf --- backends/smt2/smtio.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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] -- 2.30.2