diff options
| -rw-r--r-- | tools/klee/main.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index f521e299..a2268c83 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -294,11 +294,11 @@ KleeHandler::KleeHandler(int argc, char **argv) m_outputDirectory = directory; } else { // "klee-out-<i>" - SmallString<128> d; - raw_svector_ostream ds(d); int i = 0; for (; i <= INT_MAX; ++i) { - d.clear(); ds << directory << "klee-out-" << i; ds.flush(); + SmallString<128> d(directory); + llvm::sys::path::append(d, "klee-out-"); + raw_svector_ostream ds(d); ds << i; ds.flush(); // create directory and try to link klee-last if (mkdir(d.c_str(), 0775) == 0) { |