diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2013-01-02 17:18:52 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2013-01-02 17:18:52 +0000 |
| commit | 6f33a34d779489590e80415e13dfacab035c2364 (patch) | |
| tree | e772b0865666d149b319b087206111789749ddee /lib/Core/Executor.h | |
| parent | 9d633d4fca37b1819309efc1932c3dd2217f3a6b (diff) | |
| download | klee-6f33a34d779489590e80415e13dfacab035c2364.tar.gz | |
Refactoring patch by Tomasz Kuchta that moves options shared by KLEE and Kleaver to a separate file.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@171395 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core/Executor.h')
| -rw-r--r-- | lib/Core/Executor.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index c86fe6ab..c434c34c 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -70,14 +70,6 @@ namespace klee { class TreeStreamWriter; template<class T> class ref; - ///The different query logging solvers that can switched on/off - enum QueryLoggingSolver - { - ALL_PC, ///< Log all queries (un-optimised) in .pc (KQuery) format - ALL_SMTLIB, ///< Log all queries (un-optimised) .smt2 (SMT-LIBv2) format - SOLVER_PC, ///< Log queries passed to solver (optimised) in .pc (KQuery) format - SOLVER_SMTLIB ///< Log queries passed to solver (optimised) in .smt2 (SMT-LIBv2) format - }; /// \todo Add a context object to keep track of data only live |