diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 78e0d394..68ef98d4 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -132,7 +132,7 @@ namespace { cl::opt<bool> WithPOSIXRuntime("posix-runtime", - cl::desc("Link with POSIX runtime"), + cl::desc("Link with POSIX runtime. Options that can be passed as arguments to the programs are: --sym-argv <max-len> --sym-argvs <min-argvs> <max-argvs> <max-len> + file model options"), cl::init(false)); cl::opt<bool> @@ -184,10 +184,6 @@ namespace { MakeConcreteSymbolic("make-concrete-symbolic", cl::desc("Rate at which to make concrete reads symbolic (0=off)"), cl::init(0)); - - cl::opt<bool> - InitEnv("init-env", - cl::desc("Create custom environment. Options that can be passed as arguments to the programs are: --sym-argv <max-len> --sym-argvs <min-argvs> <max-argvs> <max-len> + file model options")); cl::opt<unsigned> StopAfterNTests("stop-after-n-tests", @@ -1205,10 +1201,7 @@ int main(int argc, char **argv, char **envp) { klee_error("error loading program '%s': %s", InputFile.c_str(), ErrorMsg.c_str()); - if (WithPOSIXRuntime) - InitEnv = true; - - if (InitEnv) { + if (WithPOSIXRuntime) { int r = initEnv(mainModule); if (r != 0) return r; |