- checker->run();
- } catch (const simgrid::mc::DeadlockError&) {
- res = SIMGRID_MC_EXIT_DEADLOCK;
- } catch (const simgrid::mc::TerminationError&) {
- res = SIMGRID_MC_EXIT_NON_TERMINATION;
- } catch (const simgrid::mc::LivenessError&) {
- res = SIMGRID_MC_EXIT_LIVENESS;