diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt index a8cf4f562..e58d554c3 100644 --- a/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt +++ b/src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt @@ -78,7 +78,7 @@ class LinChecker(private val testClass: Class<*>, options: Options<*, *>?) { if (customTracker != null) addTracker(customTracker) } - // val statisticsTracker = tracker.addTrackerIfAbsent { LincheckStatisticsTracker() } + val statisticsTracker = tracker.addTrackerIfAbsent { LincheckStatisticsTracker() } scenarios.forEachIndexed { i, scenario -> val isCustomScenario = (i < customScenarios.size) // For performance reasons, verifier re-uses LTS from previous iterations. @@ -91,7 +91,7 @@ class LinChecker(private val testClass: Class<*>, options: Options<*, *>?) { scenario.validate() reporter.logIteration(i + 1, scenariosSize, scenario) var failure = scenario.run(this, verifier, tracker) - // reporter.logIterationStatistics(i, statisticsTracker) + reporter.logIterationStatistics(i, statisticsTracker) if (failure == null) return@forEachIndexed if (minimizeFailedScenario && !isCustomScenario) {