diff options
Diffstat (limited to 'lib/Core/Executor.cpp')
| -rw-r--r-- | lib/Core/Executor.cpp | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index 475beacb..0506b685 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -76,10 +76,6 @@ #include "llvm/IR/CallSite.h" #endif -#ifdef HAVE_ZLIB_H -#include "klee/Internal/Support/CompressionStream.h" -#endif - #include <cassert> #include <algorithm> #include <iomanip> @@ -336,7 +332,7 @@ Executor::Executor(LLVMContext &ctx, const InterpreterOptions &opts, coreSolverTimeout(MaxCoreSolverTime != 0 && MaxInstructionTime != 0 ? std::min(MaxCoreSolverTime, MaxInstructionTime) : std::max(MaxCoreSolverTime, MaxInstructionTime)), - debugInstFile(0), debugLogBuffer(debugBufferString) { + debugLogBuffer(debugBufferString) { if (coreSolverTimeout) UseForkedCoreSolver = true; Solver *coreSolver = klee::createCoreSolver(CoreSolverToUse); @@ -371,11 +367,11 @@ Executor::Executor(LLVMContext &ctx, const InterpreterOptions &opts, debugInstFile = klee_open_output_file(debug_file_name, error); #ifdef HAVE_ZLIB_H } else { - debugInstFile = new compressed_fd_ostream( - (debug_file_name + ".gz").c_str(), error); + debug_file_name.append(".gz"); + debugInstFile = klee_open_compressed_output_file(debug_file_name, error); } #endif - if (!error.empty()) { + if (!debugInstFile) { klee_error("Could not open file %s : %s", debug_file_name.c_str(), error.c_str()); } @@ -455,7 +451,6 @@ Executor::~Executor() { delete timers.back(); timers.pop_back(); } - delete debugInstFile; } /***/ |