- std::unique_ptr<simgrid::mc::VisitedState>
- addVisitedState(unsigned long state_number, simgrid::mc::State* graph_state, std::size_t heap_bytes_used);
+ std::unique_ptr<simgrid::mc::VisitedState> addVisitedState(unsigned long state_number,
+ simgrid::mc::State* graph_state, RemoteApp& remote_app);