- /* Inclusion path */
- simgrid::config::declareFlag<std::string>("path",
- "Lookup path for inclusions in platform and deployment XML files",
- "",
- [](std::string const& path) {
- if (path[0] != '\0') {
- surf_path.push_back(path);
- }
- });
-
- xbt_cfg_register_boolean("cpu/maxmin-selective-update", "no", nullptr,
- "Update the constraint set propagating recursively to others constraints (off by default when optim is set to lazy)");
- xbt_cfg_register_alias("cpu/maxmin-selective-update","cpu/maxmin_selective_update");
- xbt_cfg_register_boolean("network/maxmin-selective-update", "no", nullptr,
- "Update the constraint set propagating recursively to others constraints (off by default when optim is set to lazy)");
- xbt_cfg_register_alias("network/maxmin-selective-update","network/maxmin_selective_update");
- /* Replay (this part is enabled even if MC it disabled) */
- xbt_cfg_register_string("model-check/replay", nullptr, _sg_cfg_cb_model_check_replay,
- "Model-check path to replay (as reported by SimGrid when a violation is reported)");
-
-#if HAVE_MC
- /* do model-checking-record */
- xbt_cfg_register_boolean("model-check/record", "no", _sg_cfg_cb_model_check_record, "Record the model-checking paths");
-
- xbt_cfg_register_int("model-check/checkpoint", 0, _mc_cfg_cb_checkpoint,
- "Specify the amount of steps between checkpoints during stateful model-checking (default: 0 => stateless verification). "
- "If value=1, one checkpoint is saved for each step => faster verification, but huge memory consumption; higher values are good compromises between speed and memory consumption.");
-
- xbt_cfg_register_boolean("model-check/sparse-checkpoint", "no", _mc_cfg_cb_sparse_checkpoint, "Use sparse per-page snapshots.");
- xbt_cfg_register_boolean("model-check/ksm", "no", _mc_cfg_cb_ksm, "Kernel same-page merging");
-
- xbt_cfg_register_string("model-check/property","", _mc_cfg_cb_property,
- "Name of the file containing the property, as formated by the ltl2ba program.");
- xbt_cfg_register_boolean("model-check/communications-determinism", "no", _mc_cfg_cb_comms_determinism,
- "Whether to enable the detection of communication determinism");
- xbt_cfg_register_alias("model-check/communications-determinism","model-check/communications_determinism");
-
- xbt_cfg_register_boolean("model-check/send-determinism", "no", _mc_cfg_cb_send_determinism,
- "Enable/disable the detection of send-determinism in the communications schemes");
- xbt_cfg_register_alias("model-check/send-determinism","model-check/send_determinism");
-
- /* Specify the kind of model-checking reduction */
- xbt_cfg_register_string("model-check/reduction", "dpor", _mc_cfg_cb_reduce,
- "Specify the kind of exploration reduction (either none or DPOR)");
- xbt_cfg_register_boolean("model-check/timeout", "no", _mc_cfg_cb_timeout,
- "Whether to enable timeouts for wait requests");
-
- xbt_cfg_register_boolean("model-check/hash", "no", _mc_cfg_cb_hash, "Whether to enable state hash for state comparison (experimental)");
- xbt_cfg_register_boolean("model-check/snapshot-fds", "no", _mc_cfg_cb_snapshot_fds,
- "Whether file descriptors must be snapshoted (currently unusable)");
- xbt_cfg_register_alias("model-check/snapshot-fds","model-check/snapshot_fds");
- xbt_cfg_register_int("model-check/max-depth", 1000, _mc_cfg_cb_max_depth, "Maximal exploration depth (default: 1000)");
- xbt_cfg_register_alias("model-check/max-depth","model-check/max_depth");
- xbt_cfg_register_int("model-check/visited", 0, _mc_cfg_cb_visited,
- "Specify the number of visited state stored for state comparison reduction. If value=5, the last 5 visited states are stored. If value=0 (the default), all states are stored.");
-
- xbt_cfg_register_string("model-check/dot-output", "", _mc_cfg_cb_dot_output, "Name of dot output file corresponding to graph state");
- xbt_cfg_register_alias("model-check/dot-output","model-check/dot_output");
- xbt_cfg_register_boolean("model-check/termination", "no", _mc_cfg_cb_termination, "Whether to enable non progressive cycle detection");
-#endif
-
- xbt_cfg_register_boolean("verbose-exit", "yes", _sg_cfg_cb_verbose_exit, "Activate the \"do nothing\" mode in Ctrl-C");
-
- xbt_cfg_register_int("contexts/stack-size", 8*1024, _sg_cfg_cb_context_stack_size, "Stack size of contexts in KiB");
- /* (FIXME: this is unpleasant) Reset this static variable that was altered when setting the default value. */
- smx_context_stack_size_was_set = 0;
- xbt_cfg_register_alias("contexts/stack-size","contexts/stack_size");
-
- /* guard size for contexts stacks in memory pages */
- xbt_cfg_register_int("contexts/guard-size",
+ /* Inclusion path */
+ simgrid::config::declare_flag<std::string>("path", "Lookup path for inclusions in platform and deployment XML files",
+ "", [](std::string const& path) {
+ if (not path.empty())
+ surf_path.push_back(path);
+ });
+
+ simgrid::config::declare_flag<bool>("cpu/maxmin-selective-update",
+ "Update the constraint set propagating recursively to others constraints "
+ "(off by default unless optim is set to lazy)",
+ "no");
+ simgrid::config::alias("cpu/maxmin-selective-update", {"cpu/maxmin_selective_update"});
+ simgrid::config::declare_flag<bool>("network/maxmin-selective-update", "Update the constraint set propagating "
+ "recursively to others constraints (off by "
+ "default unless optim is set to lazy)",
+ "no");
+ simgrid::config::alias("network/maxmin-selective-update", {"network/maxmin_selective_update"});
+
+ extern bool _sg_do_verbose_exit;
+ simgrid::config::bind_flag(_sg_do_verbose_exit, "verbose-exit", "Activate the \"do nothing\" mode in Ctrl-C");
+
+ simgrid::config::declare_flag<int>("contexts/stack-size", "Stack size of contexts in KiB", 8 * 1024,
+ [](int value) { smx_context_stack_size = value * 1024; });
+ simgrid::config::alias("contexts/stack-size", {"contexts/stack_size"});
+
+ /* guard size for contexts stacks in memory pages */