Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc][doc] Document the model-check/max_depth option
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 26 May 2015 14:24:04 +0000 (16:24 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 9 Jun 2015 07:59:09 +0000 (09:59 +0200)
commit5fb24a014dbd6176ef54627201dd2fad736284ec
tree1e2a668144246ff9d0cf98723beeeb6ca8230ba8
parent651127b961f79604ed807f1c580ee5e96b13165f
[mc][doc] Document the model-check/max_depth option
doc/doxygen/options.doc