From 94031164591d80f7428775a48c1a6a2cbd8693b5 Mon Sep 17 00:00:00 2001 From: Christian Heinrich Date: Thu, 21 May 2015 14:38:18 +0200 Subject: [PATCH] [Documentation] Updated MC config options These are the options that I could find in src/ --- doc/doxygen/options.doc | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/doc/doxygen/options.doc b/doc/doxygen/options.doc index 49a4cec592..8a1d4abd7a 100644 --- a/doc/doxygen/options.doc +++ b/doc/doxygen/options.doc @@ -694,8 +694,20 @@ silently overflow on other parts of the memory. - \c model-check: \ref options_modelchecking - \c model-check/checkpoint: \ref options_modelchecking_steps +- \c model-check/communications_determinism: \ref options_modelchecking_comm_determinism +- \c model-check/dot_output: \ref options_modelchecking_dot_output +- \c model-check/hash: \ref options_modelchecking_hash - \c model-check/property: \ref options_modelchecking_liveness -- \c model-check/reduce: \ref options_modelchecking_reduction +- \c model-check/max_depth: \ref options_modelchecking_max_depth +- \c model-check/record: \ref options_modelchecking_record +- \c model-check/reduction: \ref options_modelchecking_reduction +- \c model-check/replay: \ref options_modelchecking_replay +- \c model-check/send_determinism: \ref options_modelchecking_sparse_checkpoint +- \c model-check/snapshot_fds: \ref options_modelchecking_snapshot_fds +- \c model-check/sparse-checkpoint: \ref options_modelchecking_sparse_checkpoint +- \c model-check/termination: \ref options_modelchecking_termination +- \c model-check/timeout: \ref options_modelchecking_timeout +- \c model-check/visited: \ref options_modelchecking_visited - \c network/bandwidth_factor: \ref options_model_network_coefs - \c network/coordinates: \ref options_model_network_coord -- 2.20.1