From: mlaurent <mathieu.laurent@ens-rennes.fr>
Date: Wed, 7 Jun 2023 12:39:42 +0000 (+0200)
Subject: Better warning message for max-depth
X-Git-Tag: v3.34~41^2~4
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5dd78326c18ad61561204c0d11470890cd12d091

Better warning message for max-depth
---

diff --git a/src/mc/api/strategy/BasicStrategy.hpp b/src/mc/api/strategy/BasicStrategy.hpp
index 175425252e..ef7bee3650 100644
--- 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;