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/MetaSMTBuilder.h | |
| 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/MetaSMTBuilder.h')
| -rw-r--r-- | lib/Solver/MetaSMTBuilder.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Solver/MetaSMTBuilder.h b/lib/Solver/MetaSMTBuilder.h index 6da1b492..ffd3cfe9 100644 --- a/lib/Solver/MetaSMTBuilder.h +++ b/lib/Solver/MetaSMTBuilder.h @@ -15,7 +15,7 @@ #include "klee/util/ExprHashMap.h" #include "ConstantDivision.h" -#ifdef SUPPORT_METASMT +#ifdef ENABLE_METASMT #include "llvm/Support/CommandLine.h" @@ -1177,6 +1177,6 @@ typename SolverContext::result_type MetaSMTBuilder<SolverContext>::constructActu } /* end of namespace klee */ -#endif /* SUPPORT_METASMT */ +#endif /* ENABLE_METASMT */ #endif /* METASMTBUILDER_H_ */ |