Display the stack of each actor during a MC replay (unless --log=no_log for the tests)

[simgrid.git] / src / mc / mc_replay.hpp

diff --git a/src/mc/mc_replay.hpp b/src/mc/mc_replay.hpp
index ae8cd4a..7c59b5d 100644 (file)
--- a/src/mc/mc_replay.hpp
+++ b/src/mc/mc_replay.hpp
@@ -25,4 +25,7 @@ static inline int MC_record_replay_is_active()
   return not MC_record_path().empty();
 }
 
+/** Whether we should display extra information during this MC replay */
+extern bool simgrid_mc_replay_show_backtraces;
+
 #endif