diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-05-22 21:56:22 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-05-29 23:57:46 +0200 |
| commit | 48492cbfa729fe035b7b69b71b541cb67f8545df (patch) | |
| tree | 8134b6396e68f2d2e6fd1658907aeac528008443 /lib/Solver/IndependentSolver.cpp | |
| parent | d124e44cf09da646f88b61b1937efb39b98efc6d (diff) | |
| download | klee-48492cbfa729fe035b7b69b71b541cb67f8545df.tar.gz | |
Use LLVM DEBUG macro instead of #if 0 or #if DEBUG
Diffstat (limited to 'lib/Solver/IndependentSolver.cpp')
| -rw-r--r-- | lib/Solver/IndependentSolver.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/Solver/IndependentSolver.cpp b/lib/Solver/IndependentSolver.cpp index 2cb4b2c6..46b4ee56 100644 --- a/lib/Solver/IndependentSolver.cpp +++ b/lib/Solver/IndependentSolver.cpp @@ -15,6 +15,8 @@ #include "klee/util/ExprUtil.h" +#define DEBUG_TYPE "independent-solver" +#include "llvm/Support/Debug.h" #include "llvm/Support/raw_ostream.h" #include <map> #include <vector> @@ -249,8 +251,7 @@ IndependentElementSet getIndependentConstraints(const Query& query, worklist.swap(newWorklist); } while (!done); -#if 0 - if (0) { +DEBUG( std::set< ref<Expr> > reqset(result.begin(), result.end()); errs() << "--\n"; errs() << "Q: " << query.expr << "\n"; @@ -263,8 +264,8 @@ IndependentElementSet getIndependentConstraints(const Query& query, errs() << "\telts: " << IndependentElementSet(*it) << "\n"; } errs() << "elts closure: " << eltsClosure << "\n"; - } -#endif + ); + return eltsClosure; } |