diff options
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 |