projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9555c9) | patch
Skip reading stdout from the solver that if it isn't a line reading only "sat", ...
authorAlberto Gonzalez <boqwxp@airmail.cc>
Thu, 26 Mar 2020 01:19:47 +0000 (01:19 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Thu, 26 Mar 2020 01:21:01 +0000 (01:21 +0000)
commit5accf08ef9f226b78cbd47c83522cce6afffb280
treed55fe591a9c1408647404561ee659dff7963fe2ftree
parentc9555c9adeba886a308c60615ac794ec20d9276ecommit | diff
Skip reading stdout from the solver that if it isn't a line reading only "sat", "unsat", or "unknown".
backends/smt2/smtio.py diff | blob | history