void CommunicationDeterminismChecker::run()
{
XBT_INFO("Check communication determinism");
- mcapi::get().s_initialize();
+ mcapi::get().session_initialize();
this->prepare();
this->real_run();
mcapi::get().automaton_load(_sg_mc_property_file.get().c_str());
XBT_DEBUG("Starting the liveness algorithm");
- mcapi::get().s_initialize();
+ mcapi::get().session_initialize();
/* Initialize */
this->previous_pair_ = 0;
(reductionMode_ == ReductionMode::none ? "none"
: (reductionMode_ == ReductionMode::dpor ? "dpor" : "unknown")));
- mcapi::get().s_initialize();
+ mcapi::get().session_initialize();
XBT_DEBUG("Starting the safety algorithm");
return heap_bytes_used;
}
-void mc_api::s_initialize() const
+void mc_api::session_initialize() const
{
session->initialize();
}
simgrid::mc::Snapshot* take_snapshot(int num_state) const;
// SESSION APIs
- void s_initialize() const;
+ void session_initialize() const;
void s_close() const;
void execute(Transition const& transition) const;