-static simgrid::config::Flag<int> _sg_mc_max_visited_states__{
- "model-check/visited",
- "Specify the number of visited state stored for state comparison reduction: any branch leading to a state that is "
- "already stored is cut.\n"
- "If value=5, the last 5 visited states are stored. If value=0 (the default), no state is stored and this reduction "
- "technique is disabled.",
- 0, [](int value) {
- _mc_cfg_cb_check("number of stored visited states");
- _sg_mc_max_visited_states = value;
- }};
-
-simgrid::config::Flag<std::string> _sg_mc_dot_output_file{
- "model-check/dot-output",
- "Name of dot output file corresponding to graph state",
- "",
- [](const std::string&) { _mc_cfg_cb_check("file name for a dot output of graph state"); }};
-
-simgrid::config::Flag<bool> _sg_mc_termination{
- "model-check/termination", "Whether to enable non progressive cycle detection", false,
- [](bool) { _mc_cfg_cb_check("value to enable/disable the detection of non progressive cycles"); }};
-
-bool simgrid::mc::cfg_use_DPOR()