Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix MC init in smpi_main
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Aug 2013 17:41:03 +0000 (19:41 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Aug 2013 17:41:03 +0000 (19:41 +0200)
commit60efb31f7c04aa1bed677bc152718d5d952b4440
treecf69cc208a9b303b4858f2729f32a994662f4941
parent74b753c075bcd054409e619771d3b5967cfdb60e
model-checker : fix MC init in smpi_main
src/smpi/smpi_global.c