diff options
-rw-r--r-- | include/klee/MergeHandler.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/include/klee/MergeHandler.h b/include/klee/MergeHandler.h index d374e168..0c596825 100644 --- a/include/klee/MergeHandler.h +++ b/include/klee/MergeHandler.h @@ -76,10 +76,6 @@ class MergeHandler { private: Executor *executor; - /// @brief Number of states that are tracked by this MergeHandler, that ran - /// into a relevant klee_close_merge - unsigned closedStateCount; - /// @brief Mapping the different 'klee_close_merge' calls to the states that ran into /// them std::map<llvm::Instruction *, std::vector<ExecutionState *> > |