From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 16 Mar 2013 17:25:32 +0000 (+0100)
Subject: model-checker : add state equality reduction in ddfs algorithm
X-Git-Tag: v3_9_90~439
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/25c8adc001703bcf1c761ae66001a4b0539dcf0e?hp=25c8adc001703bcf1c761ae66001a4b0539dcf0e

model-checker : add state equality reduction in ddfs algorithm
---