From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 8 Mar 2018 15:24:35 +0000 (+0100)
Subject: Remove debug prints from yosys-smtbmc VCD writer
X-Git-Tag: yosys-0.8~162
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3545c0fffb6c95b6db8d5beed4a6355e1d665b5f;p=yosys.git

Remove debug prints from yosys-smtbmc VCD writer

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

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index fed4524ce..1d5c89d8e 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -984,12 +984,10 @@ class MkVcd:
                     while uipath[:len(scope)] != scope[:-1]:
                         print("$upscope $end", file=self.f)
                         scope = scope[:-1]
-                        print(scope, file=self.f)
 
                     while uipath[:-1] != scope:
                         print("$scope module %s $end" % uipath[len(scope)], file=self.f)
                         scope.append(uipath[len(scope)])
-                        print(scope, file=self.f)
 
                     if path in self.clocks and self.clocks[path][1] == "event":
                         print("$var event 1 %s %s $end" % (key, uipath[-1]), file=self.f)