From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Tue, 30 Jun 2020 06:57:45 +0000 (+0000)
Subject: qbfsat: Specify default values for some options in the help message.
X-Git-Tag: working-ls180~426^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3345d39e6f159c2ae76ddff71d7db2b14a3e535c;p=yosys.git

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

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");