diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-03-01 14:36:13 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2016-03-01 14:36:49 +0000 |
| commit | f244db54bfc37f5cc1d831f54c74e818e69bd28c (patch) | |
| tree | 28e8b7f0846ec62c98efcc9f1e40b649e253f6ad /lib/Basic | |
| parent | ce1dd5a7f3de7b536a9ff266a9231b44a053fe95 (diff) | |
| download | klee-f244db54bfc37f5cc1d831f54c74e818e69bd28c.tar.gz | |
Documented default values for various options and improved the description of some.
Diffstat (limited to 'lib/Basic')
| -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"), |