Refactor some code

JetBrains · Feb 4, 2025 · 2ddc1d6 · 2ddc1d6
1 parent 4e161eb
commit 2ddc1d6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 7 deletions.
diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt
@@ -1210,13 +1210,7 @@ abstract class ManagedStrategy(
                 var from: Int = 0
                 var to: Int = 0
                 when (methodName) {
-                    in listOf(
-                        "fill",
-                        "sort", "parallelSort",
-                        "setAll", "parallelSetAll",
-                        "parallelPrefix",
-                        "stream"
-                    ) -> {
+                    in listOf("fill", "sort", "parallelSort", "setAll", "parallelSetAll", "parallelPrefix") -> {
                         if (params.size >= 3) {
                             from = params[1] as Int // fromIndex
                             to = params[2] as Int // toIndex

diff --git a/.../jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/ArraysAPISnapshotTest.kt b/.../jetbrains/kotlinx/lincheck_test/strategy/modelchecking/snapshot/ArraysAPISnapshotTest.kt
@@ -10,6 +10,7 @@
 
 package org.jetbrains.kotlinx.lincheck_test.strategy.modelchecking.snapshot
 
+import org.jetbrains.kotlinx.lincheck.LoggingLevel
 import org.jetbrains.kotlinx.lincheck.annotations.Operation
 import org.jetbrains.kotlinx.lincheck.execution.ExecutionResult
 import org.jetbrains.kotlinx.lincheck.execution.ExecutionScenario