From: Gabriel Corona Date: Tue, 26 May 2015 13:43:25 +0000 (+0200) Subject: [mc][doc] Add doc about model-checke/timeout X-Git-Tag: v3_12~656 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/deb569cd43cd774d5057e518ad05b15a8402486f [mc][doc] Add doc about model-checke/timeout --- diff --git a/doc/doxygen/options.doc b/doc/doxygen/options.doc index c2fc2df410..13b3f0dd20 100644 --- a/doc/doxygen/options.doc +++ b/doc/doxygen/options.doc @@ -371,6 +371,12 @@ 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_timeout Handling of timeout + +By default, the model-checker does not handle timeout conditions: the `wait` +operations never time out. With the \b model-check/timeout configuration item +set to \b yes, the model-checker will explore timeouts of `wait` operations. + \subsection options_modelchecking_comm_determinism Communication determinism The \b model-check/communications_determinism and