From 5fb24a014dbd6176ef54627201dd2fad736284ec Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 26 May 2015 16:24:04 +0200 Subject: [PATCH] [mc][doc] Document the model-check/max_depth option --- doc/doxygen/options.doc | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/doc/doxygen/options.doc b/doc/doxygen/options.doc index 5e3df6a83f..f71aa4d72f 100644 --- a/doc/doxygen/options.doc +++ b/doc/doxygen/options.doc @@ -371,6 +371,14 @@ Of course, specifying a reduction technique enables the model-checking so that you don't have to give --cfg=model-check:1 in addition. +\subsection options_modelchecking_max_depth model-checker/max_depth, Depth limit + +The \b model-checker/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 not depth limit. + \subsection options_modelchecking_timeout Handling of timeout By default, the model-checker does not handle timeout conditions: the `wait` -- 2.20.1