- 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;
+ explo->run();
+ } catch (const DeadlockError&) {
+ return SIMGRID_MC_EXIT_DEADLOCK;
+ } catch (const TerminationError&) {
+ return SIMGRID_MC_EXIT_NON_TERMINATION;
+ } catch (const LivenessError&) {
+ return SIMGRID_MC_EXIT_LIVENESS;