#include <cstdint>
#include "xbt/base.h"
-#include <xbt/range.hpp>
+#include "xbt/range.hpp"
#include "src/mc/mc_forward.hpp"
#include "src/mc/LocationList.hpp"
#include <elfutils/libdw.h>
#include "xbt/base.h"
-#include <xbt/range.hpp>
+#include "xbt/range.hpp"
#include "src/mc/mc_base.h"
#include "src/mc/mc_forward.hpp"
#include <memory>
#include <system_error>
+#include "xbt/automaton.h"
+#include "xbt/automaton.hpp"
#include "xbt/log.h"
-#include <xbt/automaton.h>
-#include <xbt/automaton.hpp>
-#include <xbt/system_error.hpp>
+#include "xbt/system_error.hpp"
#include "simgrid/sg_config.h"
#include <functional>
#include "xbt/log.h"
+#include "xbt/system_error.hpp"
#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"
#endif
#include "xbt/sysdep.h"
+#include "xbt/system_error.hpp"
#include <sys/socket.h>
#include <sys/types.h>
-#include <xbt/system_error.hpp>
#include <functional>
#ifndef SIMGRID_MC_BASE_H
#define SIMGRID_MC_BASE_H
-#include "xbt/base.h"
-#include <simgrid/forward.h>
+#include "simgrid/forward.h"
#ifdef __cplusplus
#ifndef SIMGRID_MC_COMM_PATTERN_H
#define SIMGRID_MC_COMM_PATTERN_H
-#include <cstddef>
-
#include <vector>
+#include "smpi/smpi.h"
#include "xbt/dynar.h"
-#include <simgrid_config.h>
-
-#include "src/simix/smx_private.h"
-#include "src/smpi/private.h"
-#include <smpi/smpi.h>
#include "src/mc/mc_state.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/config.h"
#include "xbt/log.h"
-#include <xbt/config.h>
#include <xbt/str.h>
#include <mc/mc.h>
-/* Copyright (c) 2008-2015. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2008-2017. The SimGrid Team. All rights reserved. */
/* 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. */
-#if !defined(SIMGRID_MC_DWARF_HPP)
+#ifndef SIMGRID_MC_DWARF_HPP
#define SIMGRID_MC_DWARF_HPP
-#include <memory>
-
-#include <string.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 <vector>
+#include "xbt/automaton.h"
#include "xbt/dynar.h"
-#include <xbt/automaton.h>
-#include <xbt/swag.h>
+#include "xbt/swag.h"
#include "mc_base.h"
-/* Copyright (c) 2007-2015. The SimGrid Team.
- * All rights reserved. */
+/* Copyright (c) 2007-2015. The SimGrid Team. All rights reserved. */
/* 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. */
#ifndef SIMGRID_MC_HASH_HPP
#define SIMGRID_MC_HASH_HPP
-#include <cstdint>
-
#include "xbt/base.h"
-
#include "src/mc/mc_forward.hpp"
namespace simgrid {
#ifndef SIMGRID_MC_MMU_H
#define SIMGRID_MC_MMU_H
-#include <cstdint>
-#include <cstddef>
-
-#include "xbt/asserts.h"
-#include "xbt/base.h" // xbt_pagesize...
-#include "xbt/misc.h"
-
-#include <simgrid_config.h>
-
+#include "xbt/misc.h" // xbt_pagesize...
namespace simgrid {
namespace mc {
#ifndef SIMGRID_MC_PRIVATE_H
#define SIMGRID_MC_PRIVATE_H
-#include "simgrid_config.h"
-
-#include <sys/types.h>
-
-#include <stdio.h>
-
-#include "xbt/base.h"
-#include <simgrid/msg.h>
-#include <xbt/automaton.h>
-#include <xbt/config.h>
-
#include "mc/mc.h"
-#include "mc/datatypes.h"
-#include "src/mc/mc_base.h"
-
-#include "src/simix/smx_private.h"
+#include "xbt/automaton.h"
#ifdef __cplusplus
#include "src/mc/mc_forward.hpp"
#ifndef SIMGRID_MC_RECORD_H
#define SIMGRID_MC_RECORD_H
-#include <string>
-#include <vector>
-
+#include "src/mc/Transition.hpp"
#include "xbt/base.h"
-#include "src/mc/Transition.hpp"
+#include <vector>
namespace simgrid {
namespace mc {
#ifndef SIMGRID_MC_REQUEST_H
#define SIMGRID_MC_REQUEST_H
-#include <string>
-
-#include "xbt/base.h"
-
#include "src/simix/smx_private.h"
namespace simgrid {
#ifndef SIMGRID_MC_SAFETY_H
#define SIMGRID_MC_SAFETY_H
-#include <stdint.h>
-
-#include <memory>
-
-#include <simgrid_config.h>
-
#include "xbt/base.h"
-#include "src/mc/mc_forward.hpp"
-#include "src/mc/mc_state.h"
-
namespace simgrid {
namespace mc {
#ifndef SIMGRID_MC_SNAPSHOT_H
#define SIMGRID_MC_SNAPSHOT_H
-#include <cstdint>
-#include <cstddef>
-
#include <vector>
#include <set>
#include <string>
#include <memory>
-#include <sys/types.h> // off_t
-
#include "src/xbt/mmalloc/mmprivate.h"
-#include "xbt/asserts.h"
+//#include "xbt/asserts.h"
#include "xbt/base.h"
#include "src/mc/ModelChecker.hpp"