search

simgrid / simgrid

MIRROR of the SimGrid framework, for the simulation of distributed applications (Clouds, HPC, Grids, IoT and others). Most of the dev occurs on FramaGit.
https://framagit.org/simgrid/simgrid
Other
165 stars 91 forks source link

pull request 5 #357

Closed eazimi closed 3 years ago

eazimi commented 3 years ago

In VisitedState::VisitedState(), remote heap bytes are read by calling get_remote_heap_bytes() from mc_api rather than a direct access to the RemoteSimulation instance in mc_model_checker.

agiersch commented 3 years ago

This PR can be closed. Its content is already merged through commit 6b8d58b226c5c14d9b27d7ba55230d7ba7cfbd16.