Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : automaton state comparison removed with parallel comparison, fix it
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Oct 2013 08:02:17 +0000 (10:02 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 13:21:19 +0000 (15:21 +0200)
commitb060c7dd273d3123117385c94be6f1cbc560e63f
tree24393a4119f716a9ac61930f928791119ddbf6ba
parentc2ae0672c24f56b98d90669258562546f382e62b
model-checker : automaton state comparison removed with parallel comparison, fix it
src/mc/mc_compare.c