1 files changed, 5 insertions, 1 deletions
diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index 89819157..5b156ca6 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -122,9 +122,13 @@ private:
   std::unique_ptr<TimingSolver> solver;
   std::unique_ptr<MemoryManager> memory;
   std::set<ExecutionState*, ExecutionStateIDCompare> states;
-  std::set<ExecutionState*, ExecutionStateIDCompare> exitStates;
+  std::map<std::uint64_t,
+           std::set<ExecutionState*,
+                    ExecutionStateFormulaCompare>> exitStates;
   std::map<std::uint64_t, std::string> metaEnvVars;
   std::map<TestArgs, TestOuts> diffTests;
+  std::map<std::pair<std::uint64_t, std::uint64_t>, TestOuts*> decided;
+  std::map<std::pair<std::size_t, std::size_t>, bool> compared;
   StatsTracker *statsTracker;
   TreeStreamWriter *pathWriter, *symPathWriter;
   SpecialFunctionHandler *specialFunctionHandler;