XBT_INFO("%s", this->send_diff);
xbt_free(this->send_diff);
this->send_diff = nullptr;
- mcapi::get().s_log_state();
+ mcapi::get().log_state();
mcapi::get().mc_exit(SIMGRID_MC_EXIT_NON_DETERMINISM);
} else if (_sg_mc_comms_determinism && (not this->send_deterministic && not this->recv_deterministic)) {
XBT_INFO("****************************************************");
xbt_free(this->recv_diff);
this->recv_diff = nullptr;
}
- mcapi::get().s_log_state();
+ mcapi::get().log_state();
mcapi::get().mc_exit(SIMGRID_MC_EXIT_NON_DETERMINISM);
}
}
}
}
- mcapi::get().s_log_state();
+ mcapi::get().log_state();
}
void CommunicationDeterminismChecker::run()
for (auto const& s : checker->get_textual_trace())
XBT_INFO(" %s", s.c_str());
mcapi::get().mc_dump_record_path();
- mcapi::get().s_log_state();
+ mcapi::get().log_state();
throw TerminationError();
}
}
XBT_INFO("No property violation found.");
- mcapi::get().s_log_state();
+ mcapi::get().log_state();
}
void SafetyChecker::backtrack()
session->execute(transition);
}
-void mc_api::s_log_state() const
+void mc_api::log_state() const
{
session->log_state();
}
// SNAPSHOT APIs
bool snapshot_equal(const Snapshot* s1, const Snapshot* s2) const;
simgrid::mc::Snapshot* take_snapshot(int num_state) const;
+ void log_state() const;
// SESSION APIs
void s_initialize() const;
void s_close() const;
void s_restore_initial_state() const;
void execute(Transition const& transition);
- void s_log_state() const;
};
} // namespace mc