diff options
Diffstat (limited to 'include/klee/Core/Interpreter.h')
| -rw-r--r-- | include/klee/Core/Interpreter.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/include/klee/Core/Interpreter.h b/include/klee/Core/Interpreter.h index 8948bfce..04fdef88 100644 --- a/include/klee/Core/Interpreter.h +++ b/include/klee/Core/Interpreter.h @@ -129,9 +129,6 @@ public: // a user specified path. use null to reset. virtual void setReplayPath(const std::vector<bool> *path) = 0; - // supply path to the program for concrete execution. - virtual void setProgram(const std::string& path) = 0; - // supply a set of symbolic bindings that will be used as "seeds" // for the search. use null to reset. virtual void useSeeds(const std::vector<struct KTest *> *seeds) = 0; |