riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Remove debug prints from yosys-smtbmc VCD writer 

Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-03-08 16:24:35 +01:00
parent a15208f301
commit 3545c0fffb
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
backends/smt2/smtio.py
View File

@ -984,12 +984,10 @@ class MkVcd:
while uipath[:len(scope)] != scope[:-1]: while uipath[:len(scope)] != scope[:-1]:
print("$upscope $end", file=self.f) print("$upscope $end", file=self.f)
scope = scope[:-1] scope = scope[:-1]
print(scope, file=self.f)
while uipath[:-1] != scope: while uipath[:-1] != scope:
print("$scope module %s $end" % uipath[len(scope)], file=self.f) print("$scope module %s $end" % uipath[len(scope)], file=self.f)
scope.append(uipath[len(scope)]) scope.append(uipath[len(scope)])
print(scope, file=self.f)
if path in self.clocks and self.clocks[path][1] == "event": if path in self.clocks and self.clocks[path][1] == "event":
print("$var event 1 %s %s $end" % (key, uipath[-1]), file=self.f) print("$var event 1 %s %s $end" % (key, uipath[-1]), file=self.f)