diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-10-11 08:21:24 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2017-10-12 22:44:33 +0200 |
| commit | 7071d86f38ec428c31251a5e8dc035b6e2157de1 (patch) | |
| tree | c8c4ec2f6c0107e43a886c550a0a3d1b9b3104d3 | |
| parent | 9f11eababd767b012b623806b40fa0647affa47e (diff) | |
| download | klee-7071d86f38ec428c31251a5e8dc035b6e2157de1.tar.gz | |
Removed unnecessary and redundant variable
| -rw-r--r-- | lib/Core/Executor.cpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 673476f6..6b352eba 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -3520,8 +3520,6 @@ unsigned Executor::getSymbolicPathStreamID(const ExecutionState &state) { void Executor::getConstraintLog(const ExecutionState &state, std::string &res, Interpreter::LogType logFormat) { - std::ostringstream info; - switch (logFormat) { case STP: { Query query(state.constraints, ConstantExpr::alloc(0, Expr::Bool)); |