X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/93655f5877bde297f03e2d21f6039056f8f5a435..6f065c16d0eca6e4d75c009fc578e59c30b3f392:/src/mc/mc_global.c diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 1359cf3c3d..7ee4c84a39 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -30,7 +30,7 @@ e_mc_reduce_t mc_reduce_kind = e_mc_reduce_unset; int _sg_do_model_check = 0; int _sg_mc_checkpoint = 0; int _sg_mc_sparse_checkpoint = 0; -int _sg_mc_soft_dirty = 1; +int _sg_mc_soft_dirty = 0; char *_sg_mc_property_file = NULL; int _sg_mc_timeout = 0; int _sg_mc_hash = 0;