diff options
| -rw-r--r-- | tools/klee/main.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 568c70bb..33d62d4d 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -261,10 +261,6 @@ public: std::string getTestFilename(const std::string &suffix, unsigned id); llvm::raw_fd_ostream *openTestFile(const std::string &suffix, unsigned id); - // load a .out file - static void loadOutFile(std::string name, - std::vector<unsigned char> &buffer); - // load a .path file static void loadPathFile(std::string name, std::vector<bool> &buffer); |