#include "src/mc/checker/SafetyChecker.hpp"
#include "src/mc/Session.hpp"
#include "src/mc/VisitedState.hpp"
-#include "src/mc/api/Transition.hpp"
#include "src/mc/mc_config.hpp"
#include "src/mc/mc_exit.hpp"
#include "src/mc/mc_private.hpp"
#include "src/mc/mc_record.hpp"
+#include "src/mc/transition/Transition.hpp"
#include "src/xbt/mmalloc/mmprivate.h"
#include "xbt/log.h"
void SafetyChecker::log_state() // override
{
on_log_state_signal();
- XBT_INFO("DFS exploration successful. %ld unique states visited; %ld backtracks (%lu transition replays, %lu states "
+ XBT_INFO("DFS exploration ended. %ld unique states visited; %ld backtracks (%lu transition replays, %lu states "
"visited overall)",
State::get_expanded_states(), backtrack_count_, api::get().mc_get_visited_states(),
Transition::get_replayed_transitions());