State::State(unsigned long state_number) : num_(state_number)
{
- this->internal_comm_.clear();
auto maxpid = api::get().get_maxpid();
actor_states_.resize(maxpid);
/* Stateful model checking */
}
}
-std::size_t State::interleave_size() const
+std::size_t State::count_todo() const
{
return boost::range::count_if(this->actor_states_, [](simgrid::mc::ActorState const& a) { return a.is_todo(); });
}