int depth = 0;
bool exploration_started = false;
- Pair(unsigned long expanded_pairs);
+ explicit Pair(unsigned long expanded_pairs);
~Pair() = default;
Pair(Pair const&) = delete;
class XBT_PRIVATE LivenessChecker : public Checker {
public:
- LivenessChecker(Session& session);
+ explicit LivenessChecker(Session& session);
~LivenessChecker() = default;
void run() override;
RecordTrace getRecordTrace() override;