From deb569cd43cd774d5057e518ad05b15a8402486f Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 26 May 2015 15:43:25 +0200 Subject: [PATCH] [mc][doc] Add doc about model-checke/timeout --- doc/doxygen/options.doc | 6 ++++++ 1 file changed, 6 insertions(+) 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 -- 2.20.1