Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : restore previous version of smpi_finalize if MC is enabled
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 29 Apr 2014 19:29:27 +0000 (21:29 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 29 Apr 2014 19:29:47 +0000 (21:29 +0200)
commitf006cbf895b9c72b1df7bb2985bacd2996331d0f
treecf4f49660053dbde9713c9de0323bdd4604fddc2
parent71f886401650b3aa9f05d2eebec723af25fff9f0
model-checker : restore previous version of smpi_finalize if MC is enabled
src/smpi/smpi_global.c