Revert "[mc] Enable MC specific behaviour in replay mode"

[simgrid.git] / src / mc / mc_record.h

diff --git a/src/mc/mc_record.h b/src/mc/mc_record.h
index 3ea2d77..3257703 100644 (file)
--- a/src/mc/mc_record.h
+++ b/src/mc/mc_record.h
@@ -20,9 +20,16 @@
 #include <stdbool.h>
 
 #include "simgrid_config.h"
+#include "mc_record.h"
 
 SG_BEGIN_DECL()
 
+/** Replay path (if any) in string representation
+ *
+ *  This is a path as generated by `MC_record_stack_to_string()`.
+ */
+extern char* MC_record_path;
+
 /** Whether the MC record mode is enabled
  *
  *  The behaviour is not changed. The only real difference is that
@@ -30,6 +37,11 @@ SG_BEGIN_DECL()
  */
 #define MC_record_is_active() _sg_do_model_check_record
 
+/** Whether the replay mode is enabled */
+static inline bool MC_record_replay_is_active(void) {
+  return MC_record_path;
+}
+
 // **** Data conversion
 
 /** An element in the recorded path
@@ -76,8 +88,6 @@ void MC_record_replay(mc_record_item_t start, size_t count);
  */
 void MC_record_replay_from_string(const char* data);
 
-void MC_record_replay_init(void);
-
 SG_END_DECL()
 
 #endif