diff options
author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-09-19 11:03:52 +0100 |
---|---|---|
committer | MartinNowack <martin.nowack@gmail.com> | 2018-09-20 21:36:09 +0100 |
commit | c05a0dc1d61187b3ac95c56b0d660731946218fd (patch) | |
tree | a1e0f040c77851021224c62d45500a7f5e261236 | |
parent | a6a7b8c7dab4afccc22cc54bf9682713f60c6fcb (diff) | |
download | klee-c05a0dc1d61187b3ac95c56b0d660731946218fd.tar.gz |
Silence an uninitialized variable compiler warning (and a tiny formatting change)
-rw-r--r-- | lib/Solver/Z3Solver.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Solver/Z3Solver.cpp b/lib/Solver/Z3Solver.cpp index 3eaa8c85..72a15c50 100644 --- a/lib/Solver/Z3Solver.cpp +++ b/lib/Solver/Z3Solver.cpp @@ -58,7 +58,7 @@ private: const std::vector<const Array *> *objects, std::vector<std::vector<unsigned char> > *values, bool &hasSolution); -bool validateZ3Model(::Z3_solver &theSolver, ::Z3_model &theModel); + bool validateZ3Model(::Z3_solver &theSolver, ::Z3_model &theModel); public: Z3SolverImpl(); @@ -210,7 +210,7 @@ char *Z3SolverImpl::getConstraintLog(const Query &query) { } bool Z3SolverImpl::computeTruth(const Query &query, bool &isValid) { - bool hasSolution; + bool hasSolution = false; // to remove compiler warning bool status = internalRunSolver(query, /*objects=*/NULL, /*values=*/NULL, hasSolution); isValid = !hasSolution; |