From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 3 Jul 2017 13:37:17 +0000 (+0200)
Subject: Remove unneeded delays in smtbmc vlogtb
X-Git-Tag: yosys-0.8~405
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3e0948e16f28668dd52580e710ae485f711b01a8;p=yosys.git

Remove unneeded delays in smtbmc vlogtb
---

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index 8c876c2f4..adf747034 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -763,7 +763,7 @@ def write_vlogtb_trace(steps_start, steps_stop, index):
             pi_names = [[name] for name, _ in primary_inputs if name not in clock_inputs]
             pi_values = smt.get_net_bin_list(vlogtb_topmod, pi_names, vlogtb_state.replace("@@step_idx@@", str(i)))
 
-            print("    #1;", file=f)
+            print("", file=f)
             print("    // state %d" % i, file=f)
             if i > 0:
                 print("    @(posedge clock);", file=f)