From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 7 Mar 2018 21:54:19 +0000 (+0100)
Subject: Check results of (check-sat) in yosys-smtbmc
X-Git-Tag: yosys-0.8~164
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8b604004dae31f7f3120685dd05d16a4bace904a;p=yosys.git

Check results of (check-sat) in yosys-smtbmc

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index f61f3e77e..fed4524ce 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -646,6 +646,8 @@ class SmtIo:
                     sys.stderr.flush()
 
         result = self.read()
+        assert result in ["sat", "unsat"]
+
         if self.debug_file:
             print("(set-info :status %s)" % result, file=self.debug_file)
             print("(check-sat)", file=self.debug_file)