Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix backtracking with comm determinism verification
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 4 Jun 2014 08:35:10 +0000 (10:35 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 4 Jun 2014 08:35:10 +0000 (10:35 +0200)
commit5d58398955c920f5cb80a92e48f52a09b95bb7d6
tree6bc2fcdf59ca186ffff6be925b0daf944a3c0377
parent606fd6074429a2b25a185ba92dce29759ab41255
model-checker : fix backtracking with comm determinism verification
examples/smpi/mc/non_deterministic.tesh
examples/smpi/mc/send_deterministic.tesh
src/mc/mc_global.c