From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 15 Mar 2012 10:20:56 +0000 (+0100)
Subject: model-checker : hamming distance computed for each different block/fragment
X-Git-Tag: v3_7~310
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/6f8b717743800fb8cacec4f2794686912c5f49a1?hp=6f8b717743800fb8cacec4f2794686912c5f49a1;ds=sidebyside

model-checker : hamming distance computed for each different block/fragment
---