include src/mc/inspect/mc_unw.cpp
include src/mc/inspect/mc_unw.hpp
include src/mc/inspect/mc_unw_vmread.cpp
-include src/mc/mc_api.cpp
-include src/mc/mc_api.hpp
+include src/mc/api.cpp
+include src/mc/api.hpp
include src/mc/mc_base.cpp
include src/mc/mc_base.h
include src/mc/mc_client_api.cpp
#include <sys/wait.h>
#include <memory>
#include <boost/range/algorithm.hpp>
-#include "src/mc/mc_api.hpp"
+#include "src/mc/api.hpp"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_VisitedState, mc, "Logging specific to state equality detection mechanisms");
-#include "mc_api.hpp"
+#include "api.hpp"
#include "src/kernel/activity/MailboxImpl.hpp"
#include "src/kernel/activity/MutexImpl.hpp"
#ifndef SIMGRID_MC_CHECKER_HPP
#define SIMGRID_MC_CHECKER_HPP
-#include "src/mc/mc_api.hpp"
+#include "src/mc/api.hpp"
namespace simgrid {
namespace mc {
#include "src/mc/mc_state.hpp"
#include "src/mc/mc_config.hpp"
-#include "src/mc/mc_api.hpp"
+#include "src/mc/api.hpp"
#include <boost/range/algorithm.hpp>
src/mc/mc_comm_pattern.hpp
src/mc/mc_pattern.hpp
src/mc/compare.cpp
- src/mc/mc_api.cpp
- src/mc/mc_api.hpp
+ src/mc/api.cpp
+ src/mc/api.hpp
src/mc/mc_hash.hpp
src/mc/mc_hash.cpp
src/mc/mc_ignore.hpp