From: Marion Guthmuller Date: Thu, 3 Oct 2013 17:47:05 +0000 (+0200) Subject: model-checker : restore sequential system state comparison (parallel version is slowe... X-Git-Tag: v3_9_90~40^2~24 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/45cf10e0c743664310be804ca1d8d25edd3a18a7?hp=45cf10e0c743664310be804ca1d8d25edd3a18a7 model-checker : restore sequential system state comparison (parallel version is slower, for now ..) ---