- int in_visited_states = 0;
- // comm determinism verification (xbt_dynar_t<xbt_dynar_t<mc_comm_pattern_t>):
- xbt_dynar_t incomplete_comm_pattern = nullptr;
- xbt_dynar_t index_comm = nullptr; // comm determinism verification
+
+ /** State's exploration status by process */
+ std::vector<ProcessState> processStates;
+
+ Transition transition;
+
+ /** The simcall which was executed */
+ s_smx_simcall_t executed_req;
+
+ /* Internal translation of the simcall
+ *
+ * SIMCALL_COMM_TESTANY is translated to a SIMCALL_COMM_TEST
+ * and SIMCALL_COMM_WAITANY to a SIMCALL_COMM_WAIT.
+ */
+ s_smx_simcall_t internal_req;
+
+ /* Can be used as a copy of the remote synchro object */
+ s_smx_synchro_t internal_comm;
+
+ /** Snapshot of system state (if needed) */
+ std::shared_ptr<simgrid::mc::Snapshot> system_state;
+
+ // For CommunicationDeterminismChecker
+ std::vector<std::vector<simgrid::mc::PatternCommunication>> incomplete_comm_pattern;
+ std::vector<unsigned> communicationIndices;