class XBT_PRIVATE SafetyChecker : public Checker {
simgrid::mc::ReductionMode reductionMode_ = simgrid::mc::ReductionMode::unset;
public:
- SafetyChecker(Session& session);
+ explicit SafetyChecker(Session& session);
~SafetyChecker() = default;
void run() override;
RecordTrace getRecordTrace() override;