Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new function MC_take_snapshot_to_restore_liveness for the initial...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 1 Dec 2011 13:12:55 +0000 (14:12 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 1 Dec 2011 13:12:55 +0000 (14:12 +0100)
commitc525d1ca2ffdf659518ed036854314e0900d378e
treecf36d66d68219c6ac829669544b0a052156fe936
parent1f506aa6b83d5053316adbc9fc8f4c7bfc483442
model-checker : new function MC_take_snapshot_to_restore_liveness for the initial snapshot taken at the beginning of model checking
src/mc/mc_checkpoint.c
src/mc/private.h