mc: move some files related to ELF, DWARF or unwind reading into their own directory

[simgrid.git] / src / mc / checker / Checker.hpp

diff --git a/src/mc/checker/Checker.hpp b/src/mc/checker/Checker.hpp
index 417c085..96f5c36 100644 (file)
--- a/src/mc/checker/Checker.hpp
+++ b/src/mc/checker/Checker.hpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2016-2017. The SimGrid Team.
+/* Copyright (c) 2016-2019. The SimGrid Team.

  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it
  * All rights reserved.                                                     */
 
 /* This program is free software; you can redistribute it and/or modify it


@@ -40,7 +40,7 @@ public:
   Checker(Checker const&) = delete;
   Checker& operator=(Checker const&) = delete;
 
   Checker(Checker const&) = delete;
   Checker& operator=(Checker const&) = delete;
 

-  virtual ~Checker();
+  virtual ~Checker() = default;

 
   /** Main function of this algorithm */
   virtual void run() = 0;
 
   /** Main function of this algorithm */
   virtual void run() = 0;


@@ -64,10 +64,9 @@ protected:
   Session& getSession() { return *session_; }
 };
 
   Session& getSession() { return *session_; }
 };
 

-XBT_PUBLIC() Checker* createLivenessChecker(Session& session);
-XBT_PUBLIC() Checker* createSafetyChecker(Session& session);
-XBT_PUBLIC() Checker* createCommunicationDeterminismChecker(Session& session);
-
+XBT_PUBLIC Checker* createLivenessChecker(Session& session);
+XBT_PUBLIC Checker* createSafetyChecker(Session& session);
+XBT_PUBLIC Checker* createCommunicationDeterminismChecker(Session& session);

 }
 }
 
 }
 }