Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get times elapsed for snasphot comparison
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 11 Nov 2012 18:04:00 +0000 (19:04 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 11 Nov 2012 18:04:00 +0000 (19:04 +0100)
commitf45a8e9ec8326197f2f1fff40efe1eecddc459fe
treeacae49ef83db0129aea709a75d89a8fad96583e3
parent23f5bf52cc58cf837840f231cf638e9fcd45097b
model-checker : get times elapsed for snasphot comparison
src/mc/mc_compare.c
src/mc/mc_global.c
src/mc/mc_private.h