From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 4 Oct 2013 09:45:52 +0000 (+0200)
Subject: model-checker : set SMPI request to NULL before creating them (MC compliant)
X-Git-Tag: v3_9_90~40^2~22
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5b1da5f9f4fce672ff7640fad335128e348bbaec?ds=sidebyside;hp=5b1da5f9f4fce672ff7640fad335128e348bbaec

model-checker : set SMPI request to NULL before creating them (MC compliant)
---