#include "src/mc/inspect/ObjectInformation.hpp"
#include "src/mc/inspect/Type.hpp"
#include "src/mc/inspect/Variable.hpp"
-#include "src/mc/remote/RemoteSimulation.hpp"
+#include "src/mc/remote/RemoteProcess.hpp"
#include <array>
#include <cassert>
int main()
{
- auto* process = new simgrid::mc::RemoteSimulation(getpid());
- process->init();
+ auto* process = new simgrid::mc::RemoteProcess(getpid());
+ process->init(nullptr, nullptr, nullptr, nullptr);
simgrid::dwarf::ExpressionContext state;
state.address_space = (simgrid::mc::AddressSpace*) process;