From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Thu, 14 May 2020 17:07:59 +0000 (+0000)
Subject: smtbmc: Fix return status handling.
X-Git-Tag: working-ls180~547^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=299ab76a093f0cde95fdc0214b371140d7f339b9;p=yosys.git

smtbmc: Fix return status handling.
---

diff --git a/backends/smt2/smtbmc.py b/backends/smt2/smtbmc.py
index d3015b066..f1f55be1c 100644
--- a/backends/smt2/smtbmc.py
+++ b/backends/smt2/smtbmc.py
@@ -1548,7 +1548,7 @@ else:  # not tempind, covermode
                         break
 
                     smt_pop()
-                if not retstatus:
+                if retstatus == "FAILED" or retstatus == "PREUNSAT":
                     break
 
         else:  # gentrace
@@ -1568,7 +1568,7 @@ else:  # not tempind, covermode
 
         step += step_size
 
-    if gentrace and retstatus:
+    if gentrace and retstatus == "PASSED":
         print_anyconsts(0)
         write_trace(0, num_steps, '%')