diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-30 06:57:45 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-01 19:55:16 +0000 |
| commit | 3345d39e6f159c2ae76ddff71d7db2b14a3e535c (patch) | |
| tree | 0692c7684b68cef499edb02e3bd778ab6a6837e3 /passes/sat/qbfsat.cc | |
| parent | 95e801681146eef6fce177e84701cddf1b822e23 (diff) | |
| download | yosys-3345d39e6f159c2ae76ddff71d7db2b14a3e535c.tar.gz yosys-3345d39e6f159c2ae76ddff71d7db2b14a3e535c.tar.bz2 yosys-3345d39e6f159c2ae76ddff71d7db2b14a3e535c.zip | |
qbfsat: Specify default values for some options in the help message.
Diffstat (limited to 'passes/sat/qbfsat.cc')
| -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"); |