-/* Copyright (c) 2008-2018. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2008-2019. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
}
}
-void CommunicationDeterminismChecker::main()
+void CommunicationDeterminismChecker::real_run()
{
std::unique_ptr<simgrid::mc::VisitedState> visited_state = nullptr;
smx_simcall_t req = nullptr;
this->prepare();
- this->main();
+ this->real_run();
}
Checker* createCommunicationDeterminismChecker(Session& session)