#include <libunwind.h>
#include <libunwind-ptrace.h>
-#include <xbt/log.h>
-#include <xbt/base.h>
+#include "xbt/base.h"
+#include "xbt/log.h"
#include <xbt/mmalloc.h>
#include "src/mc/mc_unw.h"
#include "src/mc/mc_snapshot.h"
-#include "src/mc/mc_ignore.h"
#include "src/mc/mc_smx.h"
#include "src/mc/Process.hpp"
continue;
current_name = pathname;
- if (!(reg.prot & PROT_READ) && (reg.prot & PROT_EXEC))
+ if (not(reg.prot & PROT_READ) && (reg.prot & PROT_EXEC))
continue;
const bool is_executable = not i;