Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove nested code blocks (Sonar).
[simgrid.git] / src / mc / explo / odpor / ReversibleRaceCalculator.hpp
index 5135bd2843a9cbad193e62137d0c993ebaab63ad..283b7c9dcc8b1969758066fb264824d35ffeae32 100644 (file)
@@ -29,7 +29,7 @@ namespace simgrid::mc::odpor {
  * execution; indeed, the question the method answers
  * is only sensible in the context of a race
  */
-struct ReversibleRaceCalculator final {
+class ReversibleRaceCalculator final {
   static bool is_race_reversible_ActorJoin(const Execution&, Execution::EventHandle e1, const Transition* e2);
   static bool is_race_reversible_BarrierAsyncLock(const Execution&, Execution::EventHandle e1, const Transition* e2);
   static bool is_race_reversible_BarrierWait(const Execution&, Execution::EventHandle e1, const Transition* e2);