diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-03-29 12:45:31 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-03-29 12:45:31 +0200 |
| commit | a48c7e5abfc1dd406039991ebac73db59c8a432f (patch) | |
| tree | 2372e6b8a4356f48310f27097337878defe2b0cd /backends/smt2 | |
| parent | 665eec3d531e0da3a2d599fd9869d81dfa8c3966 (diff) | |
| download | yosys-a48c7e5abfc1dd406039991ebac73db59c8a432f.tar.gz yosys-a48c7e5abfc1dd406039991ebac73db59c8a432f.tar.bz2 yosys-a48c7e5abfc1dd406039991ebac73db59c8a432f.zip | |
Bugfix in smtio.py VCD file generator
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'backends/smt2')
| -rw-r--r-- | backends/smt2/smtio.py | 2 |
1 files changed, 1 insertions, 1 deletions
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] |