Sonar...

diff --git a/src/mc/api/strategy/BasicStrategy.hpp b/src/mc/api/strategy/BasicStrategy.hpp
index 80b7dc3..f06d86c 100644 (file)
--- a/src/mc/api/strategy/BasicStrategy.hpp
+++ b/src/mc/api/strategy/BasicStrategy.hpp
@@ -12,7 +12,7 @@ namespace simgrid::mc {
 class BasicStrategy : public Strategy {
 public:
   BasicStrategy()                     = default;
-  ~BasicStrategy()                    = default;
+  ~BasicStrategy() override           = default;
   BasicStrategy(const BasicStrategy&) = delete;
   BasicStrategy& operator=(const BasicStrategy&)
   { /* nothing to copy over while cloning */

diff --git a/src/mc/api/strategy/WaitStrategy.hpp b/src/mc/api/strategy/WaitStrategy.hpp
index 182411e..f1b2a85 100644 (file)
--- a/src/mc/api/strategy/WaitStrategy.hpp
+++ b/src/mc/api/strategy/WaitStrategy.hpp
@@ -18,7 +18,7 @@ class WaitStrategy : public Strategy {
 
 public:
   WaitStrategy()                     = default;
-  ~WaitStrategy()                    = default;
+  ~WaitStrategy() override           = default;
   WaitStrategy(const BasicStrategy&) = delete;
   WaitStrategy& operator=(const WaitStrategy& guide)
   {

diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp
index b34cec5..a19d17a 100644 (file)
--- a/src/mc/explo/DFSExplorer.cpp
+++ b/src/mc/explo/DFSExplorer.cpp
@@ -203,7 +203,7 @@ void DFSExplorer::run()
       aid_t issuer_id   = state->get_transition()->aid_;
       stack_t tmp_stack = stack_;
       while (not tmp_stack.empty()) {
-        if (State* prev_state = tmp_stack.back().get();
+        if (const State* prev_state = tmp_stack.back().get();
             state->get_transition()->aid_ == prev_state->get_transition()->aid_) {
           XBT_DEBUG("Simcall >>%s<< and >>%s<< with same issuer %ld", state->get_transition()->to_string().c_str(),
                     prev_state->get_transition()->to_string().c_str(), issuer_id);