X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d098dd9e12ee321b061421f535b2b56ce7691673..20bbf9b0608d4ab29fb25ab4f795001d0cdca5b5:/src/mc/mc_config.cpp?ds=sidebyside diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp index 09a12142be..cae53203e5 100644 --- a/src/mc/mc_config.cpp +++ b/src/mc/mc_config.cpp @@ -52,11 +52,11 @@ int _sg_mc_checkpoint = 0; int _sg_mc_sparse_checkpoint = 0; int _sg_mc_soft_dirty = 0; int _sg_mc_ksm = 0; -char *_sg_mc_property_file = NULL; +char *_sg_mc_property_file = nullptr; int _sg_mc_hash = 0; int _sg_mc_max_depth = 1000; int _sg_mc_visited = 0; -char *_sg_mc_dot_output_file = NULL; +char *_sg_mc_dot_output_file = nullptr; int _sg_mc_comms_determinism = 0; int _sg_mc_send_determinism = 0; int _sg_mc_safety = 0;