diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/CommandLine.h | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/include/klee/CommandLine.h b/include/klee/CommandLine.h index 6a72692d..64930bb2 100644 --- a/include/klee/CommandLine.h +++ b/include/klee/CommandLine.h @@ -40,11 +40,7 @@ enum QueryLoggingSolverType SOLVER_SMTLIB ///< Log queries passed to solver (optimised) in .smt2 (SMT-LIBv2) format }; -/* Using cl::list<> instead of cl::bits<> results in quite a bit of ugliness when it comes to checking - * if an option is set. Unfortunately with gcc4.7 cl::bits<> is broken with LLVM2.9 and I doubt everyone - * wants to patch their copy of LLVM just for these options. - */ -extern llvm::cl::list<QueryLoggingSolverType> queryLoggingOptions; +extern llvm::cl::bits<QueryLoggingSolverType> queryLoggingOptions; enum CoreSolverType { STP_SOLVER, @@ -70,12 +66,6 @@ extern llvm::cl::opt<klee::MetaSMTBackendType> MetaSMTBackend; #endif /* ENABLE_METASMT */ -//A bit of ugliness so we can use cl::list<> like cl::bits<>, see queryLoggingOptions -template <typename T> -static bool optionIsSet(llvm::cl::list<T> &list, T option) { - return std::find(list.begin(), list.end(), option) != list.end(); -} - } #endif /* KLEE_COMMANDLINE_H */ |