qbfsat: Specify default values for some options in the help message.

diff --git a/passes/sat/qbfsat.cc b/passes/sat/qbfsat.cc
index 8a526ecbe29f1373ae0e19501c265112d8fe5a64..010025ffe601798acc66fa93b2f6b804551426dd 100644 (file)
--- 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");