#include "src/mc/mc_private.h"
#include "src/mc/mc_state.h"
#include "src/mc/mc_smx.h"
-#include "src/mc/mc_liveness.h"
+#include "src/mc/LivenessChecker.hpp"
#endif
-extern "C" {
-
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_record, mc,
" Logging specific to MC record/replay facility");
+extern "C" {
+
char* MC_record_path = nullptr;
void MC_record_replay(mc_record_item_t start, std::size_t len)
void MC_record_replay_from_string(const char* path_string)
{
+ simgrid::mc::processes_time.resize(simix_process_maxpid);
xbt_dynar_t path = MC_record_from_string(path_string);
mc_record_item_t start = &xbt_dynar_get_as(path, 0, s_mc_record_item_t);
MC_record_replay(start, xbt_dynar_length(path));
xbt_dynar_free(&path);
-}
-
-void MC_record_replay_init()
-{
- simgrid::mc::processes_time.resize(simix_process_maxpid);
+ simgrid::mc::processes_time.clear();
}
}