diff options
Diffstat (limited to 'lib/Core/Executor.h')
-rw-r--r-- | lib/Core/Executor.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index 6a6b19c0..3b10fa27 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -117,6 +117,7 @@ private: std::unique_ptr<MemoryManager> memory; std::set<ExecutionState*, ExecutionStateIDCompare> states; std::set<ExecutionState*, ExecutionStateIDCompare> exitStates; + std::map<std::uint64_t, std::string> metaEnvVars; std::vector<Differentiator> diffTests; StatsTracker *statsTracker; TreeStreamWriter *pathWriter, *symPathWriter; @@ -432,7 +433,8 @@ private: llvm::Instruction** lastInstruction); /// Extract differencial test from SMT model - void extractDifferentiator(uint64_t, uint64_t, const z3::model&); + void extractDifferentiator(ExecutionState*, ExecutionState*, + const z3::model&); /// Compare with other exit states for possible differencial tests void searchDifferentiators(ExecutionState *state); |