* We do so iteratively instead of recursively, dealing with the call stack manually.
* This allows to explore the call stack at wish. */
* We do so iteratively instead of recursively, dealing with the call stack manually.
* This allows to explore the call stack at wish. */
executed before it. If it does then add it to the interleave set of the
state that executed that previous request. */
executed before it. If it does then add it to the interleave set of the
state that executed that previous request. */
std::unique_ptr<simgrid::mc::State> state = std::move(stack_.back());
stack_.pop_back();
if (reductionMode_ == simgrid::mc::ReductionMode::dpor) {
std::unique_ptr<simgrid::mc::State> state = std::move(stack_.back());
stack_.pop_back();
if (reductionMode_ == simgrid::mc::ReductionMode::dpor) {
prev_state->interleave(issuer);
else
XBT_DEBUG("Process %p is in done set", req->issuer);
prev_state->interleave(issuer);
else
XBT_DEBUG("Process %p is in done set", req->issuer);