diff options
Diffstat (limited to 'backends/smt2/smtio.py')
| -rw-r--r-- | backends/smt2/smtio.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index 799efa88..6e8bded7 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -313,6 +313,7 @@ class mkvcd: assert t >= self.t if t != self.t: if self.t == -1: + print("$var event 1 ! smt_clock $end", file=self.f) for name in sorted(self.nets): key, width = self.nets[name] print("$var wire %d %s %s $end" % (width, key, name), file=self.f) @@ -320,4 +321,5 @@ class mkvcd: self.t = t assert self.t >= 0 print("#%d" % self.t, file=self.f) + print("1!", file=self.f) |