projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6548646) | patch
smtio: Emit `mode: start` options before `set-logic` command and any other options...
authorAlberto Gonzalez <boqwxp@airmail.cc>
Mon, 20 Jul 2020 22:09:44 +0000 (22:09 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Mon, 20 Jul 2020 22:09:44 +0000 (22:09 +0000)
commit42fb75c57092714fce0394817154cdd5d63e9d2b
treea607d91aff5aeaea54c51fa813f75a3030a3fee8tree
parent654864658f17a26d760995462e57481ff81b037ccommit | diff
smtio: Emit `mode: start` options before `set-logic` command and any other options after it.

Refer to the SMT-LIB specification, section 4.1.7.  According to the spec, some options can only be specified in `start` mode.  Once the solver sees `set-logic`, it moves to `assert` mode.
backends/smt2/smtio.py diff | blob | history