}
}
-SafetyChecker::SafetyChecker(Session& s) : Checker()
+SafetyChecker::SafetyChecker() : Checker()
{
reductionMode_ = reduction_mode;
if (_sg_mc_termination)
Checker* createSafetyChecker(Session& s)
{
- return new SafetyChecker(s);
+ return new SafetyChecker();
}
} // namespace mc
ReductionMode reductionMode_ = ReductionMode::unset;
public:
- explicit SafetyChecker(Session& session);
+ explicit SafetyChecker();
~SafetyChecker() override = default;
void run() override;
RecordTrace get_record_trace() override;