#include <assert.h>
#include <stdlib.h>
-#include "mc/mc_private.h"
-#include "mc/mc_object_info.h"
+#include "src/mc/mc_private.h"
+#include "src/mc/mc_object_info.h"
-#include "mc/Process.hpp"
-#include "mc/Type.hpp"
-#include "mc/ObjectInformation.hpp"
-#include "mc/Variable.hpp"
+#include "src/mc/Process.hpp"
+#include "src/mc/Type.hpp"
+#include "src/mc/ObjectInformation.hpp"
+#include "src/mc/Variable.hpp"
static simgrid::mc::Process* process;
int main(int argc, char** argv) {
process = new simgrid::mc::Process(getpid(), -1);
+ process->init();
simgrid::dwarf::ExpressionContext state;
state.address_space = (simgrid::mc::AddressSpace*) process;