From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 27 Nov 2017 16:42:32 +0000 (+0100)
Subject: Fixed "yosys-smtbmc -g" handling of no solution
X-Git-Tag: yosys-0.8~246^2~17
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b981e5aa6904954dbb89a0d1321f65719601c029;p=yosys.git

Fixed "yosys-smtbmc -g" handling of no solution
---

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index d9b79e26e..560e39d86 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -1279,7 +1279,7 @@ else:  # not tempind, covermode
 
         step += step_size
 
-    if gentrace:
+    if gentrace and retstatus:
         print_anyconsts(0)
         write_trace(0, num_steps, '%')