- this->remote_process_->clear_cache();
- if (this->remote_process_->running())
- checker_side_.dispatch(); // The app may send messages while processing the transition
-
- if (new_transition)
- return recv_transition(aid, times_considered, answer.simcall, answer.buffer);
- else
+ if (new_transition) {
+ std::stringstream stream(answer.buffer.data());
+ return deserialize_transition(aid, times_considered, stream);
+ } else