diff options
author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-26 01:19:47 +0000 |
---|---|---|
committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-03-26 01:21:01 +0000 |
commit | 5accf08ef9f226b78cbd47c83522cce6afffb280 (patch) | |
tree | d55fe591a9c1408647404561ee659dff7963fe2f /backends/firrtl | |
parent | c9555c9adeba886a308c60615ac794ec20d9276e (diff) | |
download | yosys-5accf08ef9f226b78cbd47c83522cce6afffb280.tar.gz yosys-5accf08ef9f226b78cbd47c83522cce6afffb280.tar.bz2 yosys-5accf08ef9f226b78cbd47c83522cce6afffb280.zip |
Skip reading stdout from the solver that if it isn't a line reading only "sat", "unsat", or "unknown".
Diffstat (limited to 'backends/firrtl')
0 files changed, 0 insertions, 0 deletions