diff options
Diffstat (limited to 'unittests/Solver')
| -rw-r--r-- | unittests/Solver/SolverTest.cpp | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/unittests/Solver/SolverTest.cpp b/unittests/Solver/SolverTest.cpp index b178ced3..b15fd64b 100644 --- a/unittests/Solver/SolverTest.cpp +++ b/unittests/Solver/SolverTest.cpp @@ -7,16 +7,18 @@ // //===----------------------------------------------------------------------===// -#include <iostream> #include "gtest/gtest.h" -#include "klee/SolverCmdLine.h" -#include "klee/Constraints.h" -#include "klee/Expr.h" +#include "klee/Expr/ArrayCache.h" +#include "klee/Expr/Constraints.h" +#include "klee/Expr/Expr.h" #include "klee/Solver.h" -#include "klee/util/ArrayCache.h" +#include "klee/SolverCmdLine.h" + #include "llvm/ADT/StringExtras.h" +#include <iostream> + using namespace klee; namespace { |