Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add nb_processes in snapshot
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 13 Jan 2013 16:05:03 +0000 (17:05 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 14 Jan 2013 11:20:25 +0000 (12:20 +0100)
commit614a9d1249ea6287562890365fc68f261776df79
treef0a355148c0e4f2c5791ce8873733071c2c5df5b
parentc4a5e2819f12960e97513f3adf4cd1a53b97d3fe
model-checker : add nb_processes in snapshot
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_private.h