Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : ignore variable about time used with tracing
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 25 Mar 2013 21:37:39 +0000 (22:37 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 25 Mar 2013 22:11:00 +0000 (23:11 +0100)
commit4ccbf812a79a1577f9d125f46ad168d34d3371a5
treefe8a1dad36f5006654e86e063c3dd73054757442
parentc12f31e0bf110c61b506ef20c1d4de6b2cd2db87
model-checker : ignore variable about time used with tracing
src/mc/mc_global.c