X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a497c1d62e1064de5a4d765dc43cb9e71243ba95..96d281781f5a45598b4c1fa42fa2059d15d53c73:/src/mc/CommunicationDeterminismChecker.hpp

diff --git a/src/mc/CommunicationDeterminismChecker.hpp b/src/mc/CommunicationDeterminismChecker.hpp
new file mode 100644
index 0000000000..d23c95c42f
--- /dev/null
+++ b/src/mc/CommunicationDeterminismChecker.hpp
@@ -0,0 +1,29 @@
+/* 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
+
+}
+}