+ XBT_VERB("Creating a guide for the state");
+ if (_sg_mc_guided == "none")
+ guide_ = std::make_shared<BasicGuide>();
+ if (_sg_mc_guided == "nb_wait")
+ guide_ = std::make_shared<WaitGuide>();
+
+ recipe_ = std::list<Transition*>();
+
+ remote_app.get_actors_status(guide_->actors_to_run_);
+
+ /* Stateful model checking */
+ if ((_sg_mc_checkpoint > 0 && (num_ % _sg_mc_checkpoint == 0)) || _sg_mc_termination)
+ system_state_ = std::make_shared<simgrid::mc::Snapshot>(num_, remote_app.get_page_store(),
+ *remote_app.get_remote_process_memory());
+}
+
+State::State(RemoteApp& remote_app, std::shared_ptr<State> parent_state)
+ : num_(++expended_states_), parent_state_(parent_state)
+{
+
+ if (_sg_mc_guided == "none")
+ guide_ = std::make_shared<BasicGuide>();
+ if (_sg_mc_guided == "nb_wait")
+ guide_ = std::make_shared<WaitGuide>();
+ *guide_ = *(parent_state->guide_);
+
+ recipe_ = std::list(parent_state_->get_recipe());
+ recipe_.push_back(parent_state_->get_transition());
+
+ remote_app.get_actors_status(guide_->actors_to_run_);