diff options
| author | Bogdan Vukobratovic <bogdan.vukobratovic@gmail.com> | 2019-05-28 15:45:04 +0200 |
|---|---|---|
| committer | Bogdan Vukobratovic <bogdan.vukobratovic@gmail.com> | 2019-05-28 15:45:04 +0200 |
| commit | 29a78267d7c84699bdcebfa87719b31d9b65909b (patch) | |
| tree | 0cea0d01ab6ffceab8858c010fc6d6dc80fe70ba | |
| parent | a8e73fc7e7efa1db8dfdf3c63aa5fc5c5fb4737c (diff) | |
| download | yosys-29a78267d7c84699bdcebfa87719b31d9b65909b.tar.gz yosys-29a78267d7c84699bdcebfa87719b31d9b65909b.tar.bz2 yosys-29a78267d7c84699bdcebfa87719b31d9b65909b.zip | |
Fix the regression
| -rw-r--r-- | passes/sat/sat.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index 453ae8cca..4492fc2b7 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -1554,13 +1554,14 @@ struct SatPass : public Pass { 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 { |