Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : return state number if the current state is equal to another state...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 13 Mar 2013 15:59:46 +0000 (16:59 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:55 +0000 (18:30 +0100)
commit3fe2ef519e92552fc1122e4f4fbaba4b00aea768
treec90d7ee0d2ea5fe9f4ff765ddfda438ce713234e
parent4d27a92b07b781ad03da0848332a26c289358bc9
model-checker : return state number if the current state is equal to another state already visited
src/mc/mc_dpor.c