- this->app_state_->set_system_state(std::make_shared<Snapshot>(pair_num, remote_app.get_page_store()));
- this->heap_bytes_used = mc_model_checker->get_remote_process_memory().get_remote_heap_bytes();
+ this->app_state_->set_system_state(std::make_shared<Snapshot>(pair_num, remote_app.get_page_store(), memory));
+ this->heap_bytes_used = memory.get_remote_heap_bytes();