From 4f1ad0a8426e0bba970bfaef1367e4e7a70ad0c1 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 22 Jan 2013 18:37:12 +0000 Subject: Patch by Hristina Palikareva which enables Kleaver to configure the solver chain. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@173180 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Executor.cpp | 17 +---------------- 1 file changed, 1 insertion(+), 16 deletions(-) (limited to 'lib/Core') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index f3278c89..a0c4de1c 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -144,31 +144,16 @@ namespace { cl::init(false), cl::desc("Only output test cases covering new code.")); - cl::opt - UseIndependentSolver("use-independent-solver", - cl::init(true), - cl::desc("Use constraint independence (default=on)")); - cl::opt EmitAllErrors("emit-all-errors", cl::init(false), cl::desc("Generate tests cases for all errors " "(default=off, i.e. one per (error,instruction) pair)")); - - cl::opt - UseCexCache("use-cex-cache", - cl::init(true), - cl::desc("Use counterexample caching (default=on)")); - + cl::opt NoExternals("no-externals", cl::desc("Do not allow external function calls (default=off)")); - cl::opt - UseCache("use-cache", - cl::init(true), - cl::desc("Use validity caching (default=on)")); - cl::opt AlwaysOutputSeeds("always-output-seeds", cl::init(true)); -- cgit 1.4.1