diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-10-03 14:59:07 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-10-03 14:59:07 +0200 |
| commit | 2ed2e9c3e8f2d9d6882588857c8556a6e2af57ea (patch) | |
| tree | 8f7f5ba1cd083b974d9174f34d9b1b7fbc0bec6e /frontends | |
| parent | 17cb916cc87a71d862c7994d44f3031656f18002 (diff) | |
| download | yosys-2ed2e9c3e8f2d9d6882588857c8556a6e2af57ea.tar.gz yosys-2ed2e9c3e8f2d9d6882588857c8556a6e2af57ea.tar.bz2 yosys-2ed2e9c3e8f2d9d6882588857c8556a6e2af57ea.zip | |
Change smtbmc "Warmup failed" status to "PREUNSAT"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends')
0 files changed, 0 insertions, 0 deletions