Lay ground work for concrete execution

1 files changed, 7 insertions, 0 deletions

diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index 8f2850fd..59f41ea7 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -173,6 +173,9 @@ private:
   /// object.
   unsigned replayPosition;
 
+  /// Program path for concrete execution.
+  std::string concreteProgram;
+
   /// When non-null a list of "seed" inputs which will be used to
   /// drive execution.
   const std::vector<struct KTest *> *usingSeeds;  
@@ -547,6 +550,10 @@ public:
     replayPosition = 0;
   }
 
+  void setProgram(const std::string& path) override {
+    this->concreteProgram = path;
+  }
+
   llvm::Module *setModule(std::vector<std::unique_ptr<llvm::Module>> &modules,
                           const ModuleOptions &opts) override;