-/* Copyright (c) 2008-2015. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2008-2017. 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. */
}
}
-int CommunicationDeterminismChecker::main(void)
+void CommunicationDeterminismChecker::main(void)
{
std::unique_ptr<simgrid::mc::VisitedState> visited_state = nullptr;
smx_simcall_t req = nullptr;
/* Check for deadlocks */
if (mc_model_checker->checkDeadlock()) {
MC_show_deadlock();
- return SIMGRID_MC_EXIT_DEADLOCK;
+ throw new simgrid::mc::DeadlockError();
}
while (!stack_.empty()) {
}
simgrid::mc::session->logState();
- return SIMGRID_MC_EXIT_SUCCESS;
}
-int CommunicationDeterminismChecker::run()
+void CommunicationDeterminismChecker::run()
{
XBT_INFO("Check communication determinism");
simgrid::mc::session->initialize();
this->recv_diff = nullptr;
this->send_diff = nullptr;
- int res = this->main();
- return res;
+ this->main();
}
Checker* createCommunicationDeterminismChecker(Session& session)