include src/mc/inspect/mc_unw.hpp
include src/mc/inspect/mc_unw_vmread.cpp
include src/mc/mc_base.cpp
-include src/mc/mc_base.h
+include src/mc/mc_base.hpp
include src/mc/mc_client_api.cpp
include src/mc/mc_comm_pattern.hpp
include src/mc/mc_config.cpp
#include "xbt/range.hpp"
#include "src/mc/inspect/DwarfExpression.hpp"
-#include "src/mc/mc_base.h"
+#include "src/mc/mc_base.hpp"
#include "src/mc/mc_forward.hpp"
#include <cstdint>
/* 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 "src/mc/mc_base.h"
+#include "src/mc/mc_base.hpp"
#include "mc/mc.h"
#include "src/kernel/activity/CommImpl.hpp"
#include "src/kernel/activity/MutexImpl.hpp"
/* 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_BASE_H
-#define SIMGRID_MC_BASE_H
+#ifndef SIMGRID_MC_BASE_HPP
+#define SIMGRID_MC_BASE_HPP
#include "simgrid/forward.h"
-
-#ifdef __cplusplus
-
#include <vector>
namespace simgrid {
/** Check if the given simcall is visible */
XBT_PRIVATE bool request_is_visible(const s_smx_simcall* req);
-}
-}
-
-#endif
+} // namespace mc
+} // namespace simgrid
#endif
#include "src/kernel/activity/CommImpl.hpp"
#include "src/kernel/context/Context.hpp"
#include "src/mc/Transition.hpp"
-#include "src/mc/mc_base.h"
+#include "src/mc/mc_base.hpp"
#include "src/mc/mc_replay.hpp"
#if SIMGRID_HAVE_MC
#include "mmprivate.h"
#include "src/internal_config.h"
-#include "src/mc/mc_base.h"
#include "src/mc/remote/mc_protocol.h"
#include "src/xbt_modinter.h"
#include <math.h>
set(MC_SRC_BASE
src/mc/mc_base.cpp
- src/mc/mc_base.h
+ src/mc/mc_base.hpp
src/mc/mc_record.hpp
src/mc/mc_replay.hpp
src/mc/mc_record.cpp