- std::list<std::unique_ptr<simgrid::mc::State>> stack_;
- simgrid::mc::VisitedStates visitedStates_;
- unsigned long expandedStatesCount_ = 0;
-
- bool initial_communications_pattern_done = false;
- bool recv_deterministic = true;
- bool send_deterministic = true;
- char *send_diff = nullptr;
- char *recv_diff = nullptr;