Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore in_use in s_smpi_mpi_datatype
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Aug 2013 11:32:43 +0000 (13:32 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Aug 2013 11:32:43 +0000 (13:32 +0200)
commitc58613cc4fc2d6ace73c7f7840a71c7201afa2e2
treeffc3487749645bc87c5343177c2a2e5a7356eb12
parent61fc380a9a01658181035a0d204c98967c27d7a4
model-checker : ignore in_use in s_smpi_mpi_datatype
src/smpi/smpi_mpi_dt.c