diff options
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/sat/qbfsat.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/sat/qbfsat.cc b/passes/sat/qbfsat.cc index 8a526ecbe..010025ffe 100644 --- a/passes/sat/qbfsat.cc +++ b/passes/sat/qbfsat.cc @@ -536,9 +536,11 @@ struct QbfSatPass : public Pass { log("\n"); log(" -solver <solver>\n"); log(" Use a particular solver. Choose one of: \"z3\", \"yices\", and \"cvc4\".\n"); + log(" (default: yices)\n"); log("\n"); log(" -timeout <value>\n"); log(" Set the per-iteration timeout in seconds.\n"); + log(" (default: no timeout)\n"); log("\n"); log(" -O0, -O1, -O2\n"); log(" Control the use of ABC to simplify the QBF-SAT problem before solving.\n"); |