From 3345d39e6f159c2ae76ddff71d7db2b14a3e535c Mon Sep 17 00:00:00 2001 From: Alberto Gonzalez Date: Tue, 30 Jun 2020 06:57:45 +0000 Subject: [PATCH] qbfsat: Specify default values for some options in the help message. --- passes/sat/qbfsat.cc | 2 ++ 1 file changed, 2 insertions(+) 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 \n"); log(" Use a particular solver. Choose one of: \"z3\", \"yices\", and \"cvc4\".\n"); + log(" (default: yices)\n"); log("\n"); log(" -timeout \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"); -- 2.30.2