From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 18 Mar 2016 16:00:55 +0000 (+0100)
Subject: [mc] Working on an interface between a model-checking session and a model-checking... 
X-Git-Tag: v3_13~327^2~23
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/33aec8491c4c337352f570c24f8a76298e3a319c?hp=33aec8491c4c337352f570c24f8a76298e3a319c

[mc] Working on an interface between a model-checking session and a model-checking algorithm
---