diff options
Diffstat (limited to 'lib/Basic/CmdLineOptions.cpp')
| -rw-r--r-- | lib/Basic/CmdLineOptions.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Basic/CmdLineOptions.cpp b/lib/Basic/CmdLineOptions.cpp index dcc1b238..1724ea06 100644 --- a/lib/Basic/CmdLineOptions.cpp +++ b/lib/Basic/CmdLineOptions.cpp @@ -86,7 +86,7 @@ llvm::cl::list<QueryLoggingSolverType> queryLoggingOptions( llvm::cl::opt<klee::MetaSMTBackendType> MetaSMTBackend( "metasmt-backend", - llvm::cl::desc("Specify the MetaSMT solver backend type."), + llvm::cl::desc("Specify the MetaSMT solver backend type (default=STP)."), llvm::cl::values( clEnumValN(METASMT_BACKEND_STP, "stp", "Use metaSMT with STP"), clEnumValN(METASMT_BACKEND_Z3, "z3", "Use metaSMT with Z3"), |