#include <type_traits>
#include <vector>
#include <memory>
+#include <string>
#include <sys/types.h>
#include <simgrid_config.h>
#include <xbt/base.h>
-#include <xbt/dynar.h>
#include <xbt/mmalloc.h>
#include "src/xbt/mmalloc/mmprivate.h"
read_variable(name, &res, sizeof(T));
return res;
}
- char* read_string(RemotePtr<void> address) const;
+ std::string read_string(RemotePtr<void> address) const;
// Write memory:
void write_bytes(const void* buffer, size_t len, RemotePtr<void> address);
std::vector<simgrid::mc::SimixProcessInformation>& simix_processes();
std::vector<simgrid::mc::SimixProcessInformation>& old_simix_processes();
+ void dumpStack();
+
private:
void init_memory_map_info();
void refresh_heap();
/** Full-featured MC-aware libunwind address space for the process
*
- * This address space is using a mc_unw_context_t
+ * This address space is using a simgrid::mc::UnwindContext*
* (with simgrid::mc::Process* / simgrid::mc::AddressSpace*
* and unw_context_t).
*/