From 5199aafca0579aceb3b4a2ad1af610bcb4ccfcd1 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 10 Sep 2016 16:24:08 +0200 Subject: [PATCH] Minor improvements to smtio.py vcd writer --- backends/smt2/smtio.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py index b234270cb..62fb5154f 100644 --- a/backends/smt2/smtio.py +++ b/backends/smt2/smtio.py @@ -593,6 +593,7 @@ class MkVcd: assert t >= self.t if t != self.t: if self.t == -1: + print("$var integer 32 t smt_step $end", file=self.f) print("$var event 1 ! smt_clock $end", file=self.f) scope = [] for path in sorted(self.nets): @@ -609,6 +610,7 @@ class MkVcd: print("$enddefinitions $end", file=self.f) self.t = t assert self.t >= 0 - print("#%d" % self.t, file=self.f) + print("#%d" % (10 * self.t), file=self.f) print("1!", file=self.f) + print("b%s t" % format(self.t, "032b"), file=self.f) -- 2.30.2