Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Add option --cfg=model-check/sparse-checkpoint:yes to enable per page snapshot
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 17 Jun 2014 12:42:38 +0000 (14:42 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 17 Jun 2014 12:42:38 +0000 (14:42 +0200)
commitf81d3fa9690297fe0953c37d368201702b6c9bbb
treedec45ad6649e474b776479ec8e3956872bbaff1c
parent75c9fc935f5998f294809addfefb7eeaa79e354b
[mc] Add option --cfg=model-check/sparse-checkpoint:yes to enable per page snapshot
src/mc/mc_global.c
src/simgrid/sg_config.c