Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : initialize variable
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 18:18:10 +0000 (19:18 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 18:18:10 +0000 (19:18 +0100)
commitb4001c6582520d7e4f18615473ec746c10ce43b9
tree1dd013c88669c4fd56710e914a78fe289eb186a7
parent73ca6a5bc359768f69ee1e7181ab19578c6e181e
model-checker : initialize variable
examples/smpi/mc/non_termination4.c