riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix the regression

This commit is contained in:
Bogdan Vukobratovic 2019-05-28 15:45:04 +02:00
parent a8e73fc7e7
commit 29a78267d7
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
passes/sat/sat.cc
View File

@ -1554,13 +1554,14 @@ struct SatPass : public Pass {
log_error("Called with -verify and proof did fail!\n"); log_error("Called with -verify and proof did fail!\n");
} }
if (0) if (0) {
tip_success: tip_success:
design->scratchpad_set_bool("sat.success", true); design->scratchpad_set_bool("sat.success", true);
if (falsify) { if (falsify) {
log("\n"); log("\n");
log_error("Called with -falsify and proof did succeed!\n"); log_error("Called with -falsify and proof did succeed!\n");
} }
}
} }
else else
{ {