Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] enable model-check/record by default, and cosmetics
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 14 May 2019 20:44:41 +0000 (22:44 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 May 2019 20:13:02 +0000 (22:13 +0200)
commit603a2971cfa9ec8a4fd4493b74c5680956828423
treecca9c81076b27c9a32f1f1566244a9b410c342a1
parent3b7cd6ba4403e9f2c5630d7b319a419e3a836595
[mc] enable model-check/record by default, and cosmetics
docs/source/Configuring_SimGrid.rst
examples/deprecated/msg/mc/bugged1.tesh
examples/deprecated/msg/mc/bugged2.tesh
examples/s4u/mc-failing-assert/s4u-mc-failing-assert.tesh
src/mc/ModelChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_config.cpp
src/mc/mc_global.cpp
teshsuite/mc/random-bug/random-bug-report.tesh