static e_mc_comm_pattern_difference_t compare_comm_pattern(mc_comm_pattern_t comm1, mc_comm_pattern_t comm2) {
if(comm1->type != comm2->type)
return TYPE_DIFF;
- if (strcmp(comm1->rdv, comm2->rdv) != 0)
+ if (comm1->rdv != comm2->rdv)
return RDV_DIFF;
if (comm1->src_proc != comm2->src_proc)
return SRC_PROC_DIFF;
xbt_dynar_t incomplete_pattern = xbt_dynar_get_as(
incomplete_communications_pattern, issuer->pid, xbt_dynar_t);
- mc_comm_pattern_t pattern = xbt_new0(s_mc_comm_pattern_t, 1);
+ mc_comm_pattern_t pattern = new s_mc_comm_pattern_t();
pattern->data_size = -1;
pattern->data = nullptr;
pattern->index =
simgrid::mc::State* state = stack_.back().get();
XBT_DEBUG("**************************************************");
- XBT_DEBUG("Exploration depth = %zi (state = %d, interleaved processes = %d)",
+ XBT_DEBUG("Exploration depth = %zi (state = %d, interleaved processes = %zd)",
stack_.size(), state->num,
- MC_state_interleave_size(state));
+ state->interleaveSize());
/* Update statistics */
mc_stats->visited_states++;
while (!stack_.empty()) {
std::unique_ptr<simgrid::mc::State> state = std::move(stack_.back());
stack_.pop_back();
- if (MC_state_interleave_size(state.get())
+ if (state->interleaveSize()
&& stack_.size() < (std::size_t) _sg_mc_max_depth) {
/* We found a back-tracking point, let's loop */
XBT_DEBUG("Back-tracking to state %d at depth %zi",