diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-05-29 23:21:33 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-05-29 23:57:45 +0200 |
| commit | 3b35ffed89405e7ba3059664dfbdc165b5d8625d (patch) | |
| tree | f14817333f73342d70b267cc89c0ab70a7a151bb /lib/Solver | |
| parent | d934d983692c8952cdb887cbcd59f2df0001b9c0 (diff) | |
| download | klee-3b35ffed89405e7ba3059664dfbdc165b5d8625d.tar.gz | |
Remove #include <iostream> to avoid static constructors
iostream injects static constructor function into every compilation unit. Remove this to avoid it.
Diffstat (limited to 'lib/Solver')
| -rw-r--r-- | lib/Solver/FastCexSolver.cpp | 1 | ||||
| -rw-r--r-- | lib/Solver/IndependentSolver.cpp | 1 | ||||
| -rw-r--r-- | lib/Solver/STPBuilder.cpp | 1 | ||||
| -rw-r--r-- | lib/Solver/Solver.cpp | 1 |
4 files changed, 0 insertions, 4 deletions
diff --git a/lib/Solver/FastCexSolver.cpp b/lib/Solver/FastCexSolver.cpp index a488db2a..5c0cf8d0 100644 --- a/lib/Solver/FastCexSolver.cpp +++ b/lib/Solver/FastCexSolver.cpp @@ -19,7 +19,6 @@ #include "klee/Internal/Support/IntEvaluation.h" #include "llvm/Support/raw_ostream.h" -#include <iostream> #include <sstream> #include <cassert> #include <map> diff --git a/lib/Solver/IndependentSolver.cpp b/lib/Solver/IndependentSolver.cpp index 3c0b9b26..2cb4b2c6 100644 --- a/lib/Solver/IndependentSolver.cpp +++ b/lib/Solver/IndependentSolver.cpp @@ -19,7 +19,6 @@ #include <map> #include <vector> #include <ostream> -#include <iostream> using namespace klee; using namespace llvm; diff --git a/lib/Solver/STPBuilder.cpp b/lib/Solver/STPBuilder.cpp index e4a21f74..34ce0ede 100644 --- a/lib/Solver/STPBuilder.cpp +++ b/lib/Solver/STPBuilder.cpp @@ -34,7 +34,6 @@ #include <algorithm> // max, min #include <cassert> -#include <iostream> #include <map> #include <sstream> #include <vector> diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp index 025c70f2..229fa234 100644 --- a/lib/Solver/Solver.cpp +++ b/lib/Solver/Solver.cpp @@ -771,7 +771,6 @@ static SolverImpl::SolverRunStatus runAndGetCexForked(::VC vc, } } } -#include <iostream> bool STPSolverImpl::computeInitialValues(const Query &query, const std::vector<const Array*> |