diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-12-12 20:14:01 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-01-14 11:50:09 +0000 |
| commit | 8a7705ad979096d4e611fb2b8b397c48dd5fffc1 (patch) | |
| tree | 86a2fd486e2bca162d4b4f3aa0d3b90927f76e1d /lib/Solver/MetaSMTSolver.cpp | |
| parent | e81f5ceed580d4d267e3c857b47637d6bd065499 (diff) | |
| download | klee-8a7705ad979096d4e611fb2b8b397c48dd5fffc1.tar.gz | |
Make it possible to build KLEE without using STP and only MetaSMT.
The default core solver is STP if KLEE is built with STP otherwise it is MetaSMT. Whilst I'm here rename SUPPORT_METASMT macro to ENABLE_METASMT for consistency.
Diffstat (limited to 'lib/Solver/MetaSMTSolver.cpp')
| -rw-r--r-- | lib/Solver/MetaSMTSolver.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/Solver/MetaSMTSolver.cpp b/lib/Solver/MetaSMTSolver.cpp index 8394bbf3..971ef371 100644 --- a/lib/Solver/MetaSMTSolver.cpp +++ b/lib/Solver/MetaSMTSolver.cpp @@ -6,8 +6,8 @@ // License. See LICENSE.TXT for details. // //===----------------------------------------------------------------------===// - -#ifdef SUPPORT_METASMT +#include "klee/Config/config.h" +#ifdef ENABLE_METASMT #include "MetaSMTBuilder.h" #include "klee/Constraints.h" @@ -463,4 +463,4 @@ void MetaSMTSolver<SolverContext>::setCoreSolverTimeout(double timeout) { impl->setCoreSolverTimeout(timeout); } } -#endif // SUPPORT_METASMT +#endif // ENABLE_METASMT |