From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 21 Nov 2012 14:49:37 +0000 (+0100)
Subject: model-checker : abort if acceptance cycle detected
X-Git-Tag: v3_9_rc1~91^2~57
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9eb198857c1c5d46886f0eb0ebbbfeca3d4de78e?hp=9eb198857c1c5d46886f0eb0ebbbfeca3d4de78e

model-checker : abort if acceptance cycle detected
---