From 5dd78326c18ad61561204c0d11470890cd12d091 Mon Sep 17 00:00:00 2001 From: mlaurent Date: Wed, 7 Jun 2023 14:39:42 +0200 Subject: [PATCH 1/1] Better warning message for max-depth --- src/mc/api/strategy/BasicStrategy.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(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; -- 2.20.1