- s_smx_synchro_t internal_comm; /* To be referenced by the internal_req */
- s_smx_simcall_t internal_req; /* Internal translation of request */
- s_smx_simcall_t executed_req; /* The executed request of the state */
- int req_num = 0; /* The request number (in the case of a
- multi-request like waitany ) */
- std::shared_ptr<simgrid::mc::Snapshot> system_state = nullptr; /* Snapshot of system state */
- int num = 0;
- int in_visited_states = 0;