From e1d1ef503ab66ed759a0656e142daa3b972c6c80 Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <mcsinyx@disroot.org>
Date: Sat, 15 Apr 2023 20:12:53 +0900
Subject: Lay ground work for concrete execution

---
 lib/Core/Executor.h | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'lib/Core/Executor.h')

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;
 
-- 
cgit 1.4.1