#include <vector>
-#include <xbt/misc.h>
-#include <xbt/asserts.h>
+#include "xbt/asserts.h"
+#include "xbt/misc.h"
#include "src/mc/AddressSpace.hpp"
#include "src/mc/ChunkedData.hpp"
#include <libunwind.h>
-#include <xbt/sysdep.h>
+#include "xbt/sysdep.h"
#include "src/mc/Frame.hpp"
#include <string>
#include <cstdint>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include <xbt/range.hpp>
#include "src/mc/mc_forward.hpp"
#include <cstdint>
#include <utility>
-#include <xbt/asserts.h>
-#include <xbt/sysdep.h>
+#include "xbt/asserts.h"
+#include "xbt/sysdep.h"
#include <libunwind.h>
#include <dwarf.h>
#include <elfutils/libdw.h>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include <xbt/range.hpp>
#include "src/mc/mc_base.h"
#include <memory>
#include <system_error>
-#include <xbt/log.h>
+#include "xbt/log.h"
#include <xbt/automaton.h>
#include <xbt/automaton.hpp>
#include <xbt/system_error.hpp>
#include <event2/event.h>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include <sys/types.h>
#include "src/mc/PageStore.hpp"
#include <memory>
#include <vector>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include "src/xbt/memory_map.hpp"
#include "src/mc/mc_forward.hpp"
# define MAP_POPULATE MAP_PREFAULT_READ
#endif
-#include <xbt/base.h>
-#include <xbt/log.h>
-#include <xbt/sysdep.h>
+#include "xbt/base.h"
+#include "xbt/log.h"
+#include "xbt/sysdep.h"
#include "src/internal_config.h"
#include <unordered_map>
#include <unordered_set>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include "src/mc/mc_mmu.h"
#include "src/mc/mc_forward.hpp"
#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 <simgrid_config.h>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include <xbt/mmalloc.h>
#include "src/xbt/mmalloc/mmprivate.h"
#include <memory>
#include <vector>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include "src/mc/AddressSpace.hpp"
#include "src/mc/ChunkedData.hpp"
#include <functional>
-#include <xbt/log.h>
-#include <xbt/system_error.hpp>
-#include <simgrid/sg_config.h>
-#include <simgrid/modelchecker.h>
+#include "xbt/log.h"
#include <mc/mc.h>
+#include <simgrid/modelchecker.h>
+#include <simgrid/sg_config.h>
+#include <xbt/system_error.hpp>
#include "src/mc/Session.hpp"
#include "src/mc/mc_state.h"
#include <sys/prctl.h>
#endif
-#include <sys/types.h>
+#include "xbt/sysdep.h"
#include <sys/socket.h>
-#include <xbt/sysdep.h>
+#include <sys/types.h>
#include <xbt/system_error.hpp>
#include <functional>
-#include <xbt/log.h>
+#include "xbt/log.h"
#include "src/mc/mc_forward.hpp"
#include "src/mc/ModelChecker.hpp"
#include <vector>
#include <string>
-#include <xbt/base.h>
-#include <xbt/asserts.h>
+#include "xbt/asserts.h"
+#include "xbt/base.h"
#include <dwarf.h>
#include <boost/range/algorithm.hpp>
-#include <xbt/log.h>
-#include <xbt/sysdep.h>
+#include "xbt/log.h"
+#include "xbt/sysdep.h"
#include "src/mc/mc_comm_pattern.h"
#include "src/mc/mc_private.h"
#include <utility>
#include <unordered_set>
-#include <xbt/sysdep.h>
-#include <xbt/dynar.h>
+#include "xbt/dynar.h"
+#include "xbt/sysdep.h"
#include <xbt/mmalloc.h>
#include <mc/mc.h>
#ifndef SIMGRID_MC_BASE_H
#define SIMGRID_MC_BASE_H
-
-#include <xbt/base.h>
+#include "xbt/base.h"
#include <simgrid/forward.h>
#ifdef __cplusplus
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include <xbt/log.h>
-#include <xbt/sysdep.h>
+#include "xbt/log.h"
+#include "xbt/sysdep.h"
#include <simgrid/modelchecker.h>
#include "src/mc/ModelChecker.hpp"
#include <string.h>
-#include <xbt/sysdep.h>
-#include <xbt/dynar.h>
+#include "xbt/dynar.h"
+#include "xbt/sysdep.h"
#include <xbt/dynar.hpp>
#include "src/mc/mc_comm_pattern.h"
#include <vector>
+#include "xbt/dynar.h"
#include <simgrid_config.h>
-#include <xbt/dynar.h>
#include "src/simix/smx_private.h"
#include "src/smpi/private.h"
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include <xbt/str.h>
-#include <xbt/log.h>
+#include "xbt/log.h"
#include <xbt/config.h>
+#include <xbt/str.h>
#include <mc/mc.h>
#include "src/mc/mc_replay.h"
#include <boost/algorithm/string/predicate.hpp>
-#include <simgrid_config.h>
#include "src/simgrid/util.hpp"
-#include <xbt/log.h>
-#include <xbt/sysdep.h>
+#include "xbt/log.h"
+#include "xbt/sysdep.h"
+#include <simgrid_config.h>
#include "src/mc/mc_private.h"
#include "src/mc/mc_dwarf.hpp"
#include <string.h>
-#include <xbt/base.h>
-#include <xbt/sysdep.h>
+#include "xbt/base.h"
+#include "xbt/sysdep.h"
#define DW_LANG_Objc DW_LANG_ObjC /* fix spelling error in older dwarf.h */
#include <dwarf.h>
#include <dwarf.h>
#include <src/mc/mc_dwarf.hpp>
-#include <xbt/base.h>
+#include "xbt/base.h"
namespace simgrid {
namespace dwarf {
#include <elfutils/libdw.h>
#include "src/mc/mc_dwarf.hpp"
-#include <xbt/base.h>
+#include "xbt/base.h"
namespace simgrid {
namespace dwarf {
#include <vector>
-#include <xbt/dynar.h>
+#include "xbt/dynar.h"
#include <xbt/automaton.h>
#include <xbt/swag.h>
#include <cstdint>
-#include <xbt/log.h>
+#include "xbt/log.h"
#include "src/mc/mc_private.h"
#include "src/mc/mc_snapshot.h"
#include <cstdint>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include "src/mc/mc_forward.hpp"
#include <cstdint>
#include <cstddef>
-#include <xbt/asserts.h>
-#include <xbt/base.h> // xbt_pagesize...
-#include <xbt/misc.h>
+#include "xbt/asserts.h"
+#include "xbt/base.h" // xbt_pagesize...
+#include "xbt/misc.h"
#include <simgrid_config.h>
#include <stdio.h>
+#include "xbt/base.h"
#include <simgrid/msg.h>
-#include <xbt/config.h>
-#include <xbt/base.h>
#include <xbt/automaton.h>
+#include <xbt/config.h>
#include "mc/mc.h"
#include "mc/datatypes.h"
#include <sstream>
#include <string>
-#include <xbt/log.h>
-#include <xbt/sysdep.h>
+#include "xbt/log.h"
+#include "xbt/sysdep.h"
#include "simgrid/simix.h"
#include <string>
#include <vector>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include "src/mc/Transition.hpp"
#ifndef SIMGRID_MC_REPLAY_H
#define SIMGRID_MC_REPLAY_H
-#include <xbt/base.h>
+#include "xbt/base.h"
SG_BEGIN_DECL()
#include <string>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include "src/simix/smx_private.h"
#include <simgrid_config.h>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include "src/mc/mc_forward.hpp"
#include "src/mc/mc_state.h"
#include <memory>
#include <utility>
-#include <xbt/asserts.h>
-#include <xbt/sysdep.h>
+#include "xbt/asserts.h"
+#include "xbt/sysdep.h"
#include "src/internal_config.h"
#include "src/smpi/private.h"
#include <sys/types.h> // off_t
#include "src/xbt/mmalloc/mmprivate.h"
-#include <xbt/asserts.h>
-#include <xbt/base.h>
+#include "xbt/asserts.h"
+#include "xbt/base.h"
-#include "src/mc/mc_forward.hpp"
#include "src/mc/ModelChecker.hpp"
-#include "src/mc/PageStore.hpp"
-#include "src/mc/AddressSpace.hpp"
-#include "src/mc/mc_unw.h"
#include "src/mc/RegionSnapshot.hpp"
+#include "src/mc/mc_forward.hpp"
+#include "src/mc/mc_unw.h"
SG_BEGIN_DECL()
#include <boost/range/algorithm.hpp>
-#include <xbt/log.h>
-#include <xbt/sysdep.h>
+#include "xbt/log.h"
+#include "xbt/sysdep.h"
#include "src/simix/smx_private.h"
#include "src/mc/mc_state.h"
#include <list>
#include <memory>
-#include <xbt/base.h>
-#include <xbt/dynar.h>
-
-#include "src/simix/smx_private.h"
-#include "src/kernel/activity/SynchroIo.hpp"
-#include "src/kernel/activity/SynchroComm.hpp"
-#include "src/kernel/activity/SynchroRaw.hpp"
-#include "src/kernel/activity/SynchroSleep.hpp"
-#include "src/kernel/activity/SynchroExec.hpp"
#include "src/mc/mc_snapshot.h"
#include "src/mc/mc_record.h"
#include "src/mc/Transition.hpp"
* much here.
*/
-#include <sys/types.h>
-
-#include <xbt/base.h>
+#include "src/mc/mc_forward.hpp"
#include <libunwind.h>
-
-#include "src/mc/mc_forward.hpp"
+#include <sys/types.h>
namespace simgrid {
namespace unw {
#include "src/mc/mc_xbt.hpp"
#include "src/mc/remote/RemotePtr.hpp"
-#include <xbt/dynar.h>
-#include <xbt/sysdep.h>
+#include "xbt/dynar.h"
+#include "xbt/sysdep.h"
namespace simgrid {
namespace mc {
#ifndef SIMGRID_MC_XBT_HPP
#define SIMGRID_MC_XBT_HPP
-#include <cstddef>
-
-#include <xbt/dynar.h>
+#include "xbt/dynar.h"
#include "src/mc/AddressSpace.hpp"
#include "src/mc/remote/RemotePtr.hpp"