+/* Copyright (c) 2016. The SimGrid Team.
+ * All rights reserved. */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
+#include "src/mc/mc_forward.hpp"
+#include "src/mc/Checker.hpp"
+
+#ifndef SIMGRID_MC_COMMUNICATION_DETERMINISM_CHECKER_HPP
+#define SIMGRID_MC_COMMUNICATION_DETERMINISM_CHECKER_HPP
+
+namespace simgrid {
+namespace mc {
+
+class CommunicationDeterminismChecker : public Checker {
+public:
+ CommunicationDeterminismChecker(Session& session);
+ ~CommunicationDeterminismChecker();
+ int run() override;
+private:
+ void prepare();
+ int main();
+};
+
+#endif
+
+}
+}