/* Update statistics */
visited_pairs_count_++;
- mc_model_checker->executed_transitions++;
+ mcapi::get().mc_inc_executed_trans();
depth++;
}
}
}
-LivenessChecker::LivenessChecker(Session& s) : Checker(s)
+LivenessChecker::LivenessChecker() : Checker()
{
}
Checker* createLivenessChecker(Session& s)
{
- return new LivenessChecker(s);
+ return new LivenessChecker();
}
} // namespace mc