Object traverser fix (#313)

Object traverser fix
JetBrains · Apr 23, 2024 · 181bbe9 · 181bbe9
1 parent 65259bd
commit 181bbe9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/ObjectTraverser.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/ObjectTraverser.kt
@@ -90,10 +90,10 @@ private fun enumerateObjects(obj: Any, processedObjects: MutableSet<Any>, object
                 }
 
                 if (value is AtomicIntegerArray) {
-                    value = (0..value.length()).map { (value as AtomicIntegerArray).get(it) }.toIntArray()
+                    value = (0 until value.length()).map { (value as AtomicIntegerArray).get(it) }.toIntArray()
                 }
                 if (value is AtomicReferenceArray<*>) {
-                    value = (0..value.length()).map { (value as AtomicReferenceArray<*>).get(it) }.toTypedArray()
+                    value = (0 until value.length()).map { (value as AtomicReferenceArray<*>).get(it) }.toTypedArray()
                 }
 
                 if (value is AtomicReferenceFieldUpdater<*, *> || value is AtomicIntegerFieldUpdater<*> || value is AtomicLongFieldUpdater<*>) {