* under the terms of the license (GNU LGPL) which comes with this package. */
#include "simgrid/sg_config.hpp"
+#include "src/mc/Session.hpp"
#include "src/mc/checker/Checker.hpp"
+#include "src/mc/mc_config.hpp"
#include "src/mc/mc_exit.hpp"
#include <cstring>
int res = SIMGRID_MC_EXIT_SUCCESS;
try {
checker->run();
- } catch (simgrid::mc::DeadlockError& de) {
+ } catch (const simgrid::mc::DeadlockError&) {
res = SIMGRID_MC_EXIT_DEADLOCK;
- } catch (simgrid::mc::TerminationError& te) {
+ } catch (const simgrid::mc::TerminationError&) {
res = SIMGRID_MC_EXIT_NON_TERMINATION;
- } catch (simgrid::mc::LivenessError& le) {
+ } catch (const simgrid::mc::LivenessError&) {
res = SIMGRID_MC_EXIT_LIVENESS;
}
checker = nullptr;