Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update chord example for exhaustive exploration with MC
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 10 Aug 2013 10:34:50 +0000 (12:34 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 10 Aug 2013 10:38:01 +0000 (12:38 +0200)
commit2adbebb21ea989090627ef4062f99c6ae19b32f5
treeec92d8a5807c26cf59d563071240ae432a7ea32e
parentad8867933b08821b82e8ba42d807445f18b2764d
model-checker : update chord example for exhaustive exploration with MC
examples/msg/chord/chord.c
include/simgrid/modelchecker.h