namespace simgrid {
namespace mc {
-class CommunicationDeterminismChecker : public Checker {
+class XBT_PRIVATE CommunicationDeterminismChecker : public Checker {
public:
CommunicationDeterminismChecker(Session& session);
~CommunicationDeterminismChecker();
private:
void prepare();
int main();
+ void logState() override;
private:
/** Stack representing the position in the exploration graph */
std::list<std::unique_ptr<simgrid::mc::State>> stack_;