From 40c01eeec8c9d7234a75bd8bc46dd3d6357deaee Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 5 Apr 2021 15:12:50 +0200 Subject: [PATCH] doc: fix the name of an option, and document the default value used in the code --- docs/source/Configuring_SimGrid.rst | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/source/Configuring_SimGrid.rst b/docs/source/Configuring_SimGrid.rst index f048a73d5e..08e9d63473 100644 --- a/docs/source/Configuring_SimGrid.rst +++ b/docs/source/Configuring_SimGrid.rst @@ -646,11 +646,11 @@ graphviz dot tool to generate a corresponding graphical representation. Exploration Depth Limit ....................... -The ``model-checker/max-depth`` can set the maximum depth of the +The ``model-check/max-depth`` can set the maximum depth of the exploration graph of the model checker. If this limit is reached, a logging message is sent and the results might not be exact. -By default, there is no depth limit. +By default, the exploration is limited to the depth of 1000. .. _cfg=model-check/timeout: -- 2.20.1