From: Gabriel Corona Date: Tue, 26 May 2015 14:58:52 +0000 (+0200) Subject: [mc][doc] Document the model-check/dot_output option X-Git-Tag: v3_12~650 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d90c183b7ab2f38025e0cb58131260dc04def931 [mc][doc] Document the model-check/dot_output option --- diff --git a/doc/doxygen/options.doc b/doc/doxygen/options.doc index b3d76a9312..c2139ba23c 100644 --- a/doc/doxygen/options.doc +++ b/doc/doxygen/options.doc @@ -394,6 +394,14 @@ This only works in safety mode. This options is disabled by default. +\subsection options_modelchecking_dot_output model-check/dot_output, Dot output + +If set, the \b model-check/dot_output configuration item is the name of a file +in which to write a dot file of the path leading the found property (safety or +liveness violation) as well as the cycle for liveness properties. This dot file +can then fed to the graphviz dot tool to generate an corresponding graphical +representation. + \subsection options_modelchecking_max_depth model-check/max_depth, Depth limit The \b model-checker/max_depth can set the maximum depth of the exploration