Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 057bbea) | patch
Desactivate an historical MC_assert so that model-checking Chord get a chance to...
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 24 Oct 2012 13:13:41 +0000 (15:13 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 24 Oct 2012 13:30:07 +0000 (15:30 +0200)
commit635188886cb9b98f353a1c3869dee898f9b73b8b
tree687a8d4c06ef22b3ceeeba11908086413182f73ftree | snapshot
parent057bbea996c9669085dbc1bd5744cb8a1f91c1a6commit | diff
Desactivate an historical MC_assert so that model-checking Chord get a chance to work

Leave a comment on this first historical battle for MC in SimGrid in
the source code :)
examples/msg/chord/chord.c diff | blob | history
Clone of SimGrid repository with local patches