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

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index d9b79e26e423ec30a9260543e0804eac3684d139..560e39d863807fe67be7db445173e27667a76a46 100644 (file)
--- 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, '%')