Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : reindent, no change
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 20 Apr 2012 17:08:53 +0000 (19:08 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 20 Apr 2012 17:08:53 +0000 (19:08 +0200)
commit233b8f96c9d9317238e26cd24670634f5b976c8c
tree3bbf046de929ec71e000b7f25537636a736b084a
parent226d3997c4e356a1935b7d51b310034b4833afb9
model-checker : reindent, no change
examples/msg/mc/bugged2_liveness.c