From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Wed, 25 Feb 2015 18:18:10 +0000 (+0100)
Subject: model-checker : initialize variable
X-Git-Tag: v3_12~743
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/b4001c6582520d7e4f18615473ec746c10ce43b9?ds=sidebyside;hp=b4001c6582520d7e4f18615473ec746c10ce43b9

model-checker : initialize variable
---