From 487b6ead7cd72391b4e57131bc4f757dfb77ec4c Mon Sep 17 00:00:00 2001
From: Evgeniy Moiseenko <evg.moiseenko94@gmail.com>
Date: Wed, 20 Mar 2024 09:37:38 +0100
Subject: [PATCH] change number of invocations in all minimization-related
 tests

Signed-off-by: Evgeniy Moiseenko <evg.moiseenko94@gmail.com>
---
 .../kotlinx/lincheck_test/MinimizationTests.kt    | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/MinimizationTests.kt b/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/MinimizationTests.kt
index f2e11ce03b..3fc5d0d5d9 100644
--- a/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/MinimizationTests.kt
+++ b/src/jvm/test/org/jetbrains/kotlinx/lincheck_test/MinimizationTests.kt
@@ -23,7 +23,8 @@ class MinimizationTest {
     @Operation
     fun inc() = counter++
 
-    /* This test should find a bug in counter implementation but do not attempt to minimize it.
+    /* This test should find a bug in counter implementation
+     * but do not attempt to minimize it.
      */
     @Test
     fun testWithoutMinimization() {
@@ -32,7 +33,7 @@ class MinimizationTest {
             .actorsPerThread(4)
             .actorsBefore(4)
             .actorsAfter(4)
-            .invocationsPerIteration(100_000)
+            .invocationsPerIteration(INVOCATIONS_COUNT)
             .minimizeFailedScenario(false)
         try {
             LinChecker.check(MinimizationTest::class.java, options)
@@ -58,7 +59,7 @@ class MinimizationTest {
             .actorsPerThread(4)
             .actorsBefore(4)
             .actorsAfter(4)
-            .invocationsPerIteration(1_000)
+            .invocationsPerIteration(INVOCATIONS_COUNT)
         try {
             LinChecker.check(MinimizationTest::class.java, options)
             fail("Should fail with LincheckAssertionError")
@@ -91,7 +92,7 @@ class MinimizationWithExceptionTest {
             .actorsPerThread(4)
             .actorsBefore(4)
             .actorsAfter(4)
-            .invocationsPerIteration(1_000)
+            .invocationsPerIteration(INVOCATIONS_COUNT)
         try {
             LinChecker.check(IncorrectImplementationWithException::class.java, options)
             fail("Should fail with LincheckAssertionError")
@@ -122,7 +123,7 @@ class MinimizationWithExceptionTest {
             .actorsPerThread(4)
             .actorsBefore(4)
             .actorsAfter(4)
-            .invocationsPerIteration(1_000)
+            .invocationsPerIteration(INVOCATIONS_COUNT)
             .sequentialSpecification(SequentialImplementation::class.java)
         try {
             LinChecker.check(CorrectImplementationWithException::class.java, options)
@@ -166,4 +167,6 @@ class MinimizationWithExceptionTest {
         fun inc() = counter++
         fun exception() = Unit
     }
-}
\ No newline at end of file
+}
+
+private const val INVOCATIONS_COUNT = 100_000
\ No newline at end of file