Implement WaitAnyTransition

[simgrid.git] / src / mc / checker / SafetyChecker.cpp

diff --git a/src/mc/checker/SafetyChecker.cpp b/src/mc/checker/SafetyChecker.cpp
index 6dc565e..57e7049 100644 (file)
--- a/src/mc/checker/SafetyChecker.cpp
+++ b/src/mc/checker/SafetyChecker.cpp
@@ -175,6 +175,7 @@ void SafetyChecker::run()
 void SafetyChecker::backtrack()
 {
   backtrack_count_++;
+  XBT_VERB("Backtracking from %s", get_record_trace().to_string().c_str());
   stack_.pop_back();
 
   api::get().mc_check_deadlock();