state->get_transition()->to_string().c_str(), stack_.size(), state->get_num(), state->count_todo());
/* Create the new expanded state (copy the state of MCed into our MCer data) */
- std::__detail::__unique_ptr_t<simgrid::mc::State> next_state;
+ std::unique_ptr<State> next_state;
/* If we want sleep set reduction, pass the old state to the new state so it can
* both copy the sleep set and eventually removes things from it locally */
private:
void check_non_termination(const State* current_state);
void backtrack();
- bool sleep_set_reduction_ = true;
+ bool sleep_set_reduction_;
/** Stack representing the position in the exploration graph */
std::list<std::unique_ptr<State>> stack_;
}};
simgrid::config::Flag<bool> _sg_mc_sleep_set{
- "model-check/sleep-set",
- "Whether to enable the use of sleep-set in the reduction algorithm",
- true,
- [](bool) {
- _mc_cfg_cb_check("value to enable/disable the use of sleep-set in the reduction algorithm");
- }};
+ "model-check/sleep-set", "Whether to enable the use of sleep-set in the reduction algorithm", false,
+ [](bool) { _mc_cfg_cb_check("value to enable/disable the use of sleep-set in the reduction algorithm"); }};
simgrid::config::Flag<int> _sg_mc_checkpoint{
"model-check/checkpoint", "Specify the amount of steps between checkpoints during stateful model-checking "