} s_mc_snapshot_stack_t, *mc_snapshot_stack_t;
typedef struct s_mc_global_t {
- std::shared_ptr<simgrid::mc::Snapshot> snapshot;
- int prev_pair = 0;
- std::string prev_req;
int initial_communications_pattern_done = 0;
int recv_deterministic = 0;
int send_deterministic = 0;