diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Core/Interpreter.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/include/klee/Core/Interpreter.h b/include/klee/Core/Interpreter.h index 04fdef88..8948bfce 100644 --- a/include/klee/Core/Interpreter.h +++ b/include/klee/Core/Interpreter.h @@ -129,6 +129,9 @@ 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; |