Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Do not handle mc_model_checker->parent_snapshot unless it is necessary
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 21 Jul 2014 11:38:08 +0000 (13:38 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 21 Jul 2014 11:38:08 +0000 (13:38 +0200)
commitcff375563b42ab3a5577aa85cdcfff2e8027d4e1
tree572a14368aa491cc01303eb61447526630ea64a7
parentead183378793a2503a736ccfad25bbed1aa0182d
[mc] Do not handle mc_model_checker->parent_snapshot unless it is necessary
src/mc/mc_checkpoint.c