diff options
| author | Bogdan Vukobratovic <bogdan.vukobratovic@gmail.com> | 2019-06-14 11:35:45 +0200 |
|---|---|---|
| committer | Bogdan Vukobratovic <bogdan.vukobratovic@gmail.com> | 2019-06-14 11:35:45 +0200 |
| commit | 291b36afeb1075b7c6329d1e57594ed3e6b71581 (patch) | |
| tree | 5467c6d5e42481889df1ac2790f643e58ef31373 /passes/sat | |
| parent | 8665f48879526f8f3ed79629f28a8686ed78a8ad (diff) | |
| download | yosys-291b36afeb1075b7c6329d1e57594ed3e6b71581.tar.gz yosys-291b36afeb1075b7c6329d1e57594ed3e6b71581.tar.bz2 yosys-291b36afeb1075b7c6329d1e57594ed3e6b71581.zip | |
Some cleanup, revert sat.cc
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sat.cc | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index 4492fc2b7..cbba738f0 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -1548,20 +1548,17 @@ struct SatPass : public Pass { print_proof_failed(); tip_failed: - design->scratchpad_set_bool("sat.success", false); if (verify) { log("\n"); log_error("Called with -verify and proof did fail!\n"); } - if (0) { + if (0) tip_success: - design->scratchpad_set_bool("sat.success", true); if (falsify) { log("\n"); log_error("Called with -falsify and proof did succeed!\n"); } - } } else { @@ -1631,7 +1628,6 @@ struct SatPass : public Pass { if (sathelper.solve()) { - design->scratchpad_set_bool("sat.success", false); if (max_undef) { log("SAT model found. maximizing number of undefs.\n"); sathelper.maximize_undefs(); @@ -1671,7 +1667,6 @@ struct SatPass : public Pass { } else { - design->scratchpad_set_bool("sat.success", true); if (sathelper.gotTimeout) goto timeout; if (rerun_counter) |