diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-03-07 22:54:19 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-03-07 22:54:19 +0100 |
| commit | 8b604004dae31f7f3120685dd05d16a4bace904a (patch) | |
| tree | 1478944670b09717a08bf56cfb7c93c78ce00f6b /backends/smt2/smtio.py | |
| parent | a4bbfd2d15db25ba9b2599afa0badd8abe1273ba (diff) | |
| download | yosys-8b604004dae31f7f3120685dd05d16a4bace904a.tar.gz yosys-8b604004dae31f7f3120685dd05d16a4bace904a.tar.bz2 yosys-8b604004dae31f7f3120685dd05d16a4bace904a.zip | |
Check results of (check-sat) in yosys-smtbmc
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'backends/smt2/smtio.py')
| -rw-r--r-- | backends/smt2/smtio.py | 2 |
1 files changed, 2 insertions, 0 deletions
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) |