X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c7ef2b0424fb2c96b9d49f50dc225767e65a27de..3ed8cddf1b2849cb3db5139684348bd64d47b09e:/src/mc/Session.cpp diff --git a/src/mc/Session.cpp b/src/mc/Session.cpp index 0bd6e82d9a..77c68afc63 100644 --- a/src/mc/Session.cpp +++ b/src/mc/Session.cpp @@ -98,8 +98,8 @@ Session::~Session() this->close(); } -/** Take the initial snapshot of the application, that must be stopped. */ -void Session::initialize() +/** The application must be stopped. */ +void Session::take_initial_snapshot() { xbt_assert(initial_snapshot_ == nullptr); model_checker_->wait_for_requests();