std::shared_ptr<simgrid::mc::ObjectInformation> find_object_info_exec(RemotePtr<void> addr) const;
std::shared_ptr<simgrid::mc::ObjectInformation> find_object_info_rw(RemotePtr<void> addr) const;
simgrid::mc::Frame* find_function(RemotePtr<void> ip) const;
- simgrid::mc::Variable* find_variable(const char* name) const;
+ const simgrid::mc::Variable* find_variable(const char* name) const;
// Heap access:
xbt_mheap_t get_heap()
*/
std::vector<ActorInformation> smx_actors_infos;
- /** Copy of `simix_global->process_to_destroy`
+ /** Copy of `simix_global->actors_to_destroy`
*
* See mc_smx.c.
*/