Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : deal with the soundness of DPOR only if DPOR is enabled
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 29 Apr 2014 15:21:59 +0000 (17:21 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 29 Apr 2014 19:29:47 +0000 (21:29 +0200)
commit71f886401650b3aa9f05d2eebec723af25fff9f0
treebfd43e87153f989bd4fb1dab33bee5271fcf9380
parent276b87ef25a4bce97dfec6020bc7e6d5a0ec837c
model-checker : deal with the soundness of DPOR only if DPOR is enabled
src/mc/mc_dpor.c
src/mc/mc_global.c