Misc. Sonar smells.

[simgrid.git] / src / mc / api / strategy / BasicStrategy.hpp

diff --git a/src/mc/api/strategy/BasicStrategy.hpp b/src/mc/api/strategy/BasicStrategy.hpp
index 175425252e1ea7e4a6dcf03898a0e90bf4b8ad16..7ecb32533ed6b2f114b57415d7181f9404a56aaf 100644 (file)
--- a/src/mc/api/strategy/BasicStrategy.hpp
+++ b/src/mc/api/strategy/BasicStrategy.hpp
@@ -21,7 +21,7 @@ public:
     const BasicStrategy* cast_strategy = dynamic_cast<BasicStrategy const*>(strategy);
     xbt_assert(cast_strategy != nullptr);
     depth_ = cast_strategy->depth_ - 1;
-    xbt_assert(depth_ > 0, "The exploration reached a depth greater than 100000. We will stop here to prevent weird interaction with DFSExplorer.");
+    xbt_assert(depth_ > 0, "The exploration reached a depth greater than %d. We will stop here to prevent weird interaction with DFSExplorer. If you want to change that behaviour, you should augment the size of the search by using --cfg=model-check/max-depth:", _sg_mc_max_depth.get());
   }
   BasicStrategy()                     = default;
   ~BasicStrategy() override           = default;
@@ -36,12 +36,9 @@ public:
       return std::make_pair(aid, depth_);
     }
     return std::make_pair(-1, depth_);
-  
   }
-    
 
   void execute_next(aid_t aid, RemoteApp& app) override { return; }
-    
 };
 
 } // namespace simgrid::mc