Skip to content

Commit

Permalink
rollback statistics gathering in tests
Browse files Browse the repository at this point in the history
Signed-off-by: Evgenii Moiseenko <[email protected]>
  • Loading branch information
eupp committed Jun 10, 2024
1 parent b51bcd3 commit 23ea160
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/jvm/main/org/jetbrains/kotlinx/lincheck/LinChecker.kt
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand All @@ -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) {
Expand Down

0 comments on commit 23ea160

Please sign in to comment.