� This is a combination of 5 commits.

� This is the 1st commit message:

Fixed copyOf, copyOfRange and asList failures

� The commit message #2 will be skipped:

� Added symbolic implementation for Arrays.copyOf and Arrays.copyOfRange

� The commit message #3 will be skipped:

� Added tests for copyOf, copyOfRange and asList

� The commit message #4 will be skipped:

� Fixed implementation

� The commit message #5 will be skipped:

� Fixed tests

Author: Damtev

utbot-framework-test/src/test/kotlin/org/utbot/examples/arrays/CopyOfExampleTest.kt

@@ -0,0 +1,34 @@
+package org.utbot.examples.arrays
+
+import org.junit.jupiter.api.Test
+import org.utbot.testing.AtLeast
+import org.utbot.testing.FullWithAssumptions
+import org.utbot.testing.UtValueTestCaseChecker
+import org.utbot.testing.ignoreExecutionsNumber
+import org.utbot.testing.isException
+
+class CopyOfExampleTest : UtValueTestCaseChecker(testClass = CopyOfExample::class) {
+    @Test
+    fun testCopyOf() {
+        checkWithException(
+            CopyOfExample::copyOfExample,
+            ignoreExecutionsNumber,
+            { _, l, r -> l < 0 && r.isException<NegativeArraySizeException>() },
+            { arr, l, r -> arr.copyOf(l).contentEquals(r.getOrThrow()) },
+            coverage = FullWithAssumptions(assumeCallsNumber = 1)
+        )
+    }
+
+    @Test
+    fun testCopyOfRange() {
+        checkWithException(
+            CopyOfExample::copyOfRangeExample,
+            ignoreExecutionsNumber,
+            { _, from, _, r -> from < 0 && r.isException<ArrayIndexOutOfBoundsException>() },
+            { arr, from, _, r -> from > arr.size && r.isException<ArrayIndexOutOfBoundsException>() },
+            { _, from, to, r -> from > to && r.isException<IllegalArgumentException>() },
+            { arr, from, to, r -> arr.copyOfRange(from, to).contentEquals(r.getOrThrow()) },
+            coverage = AtLeast(82)
+        )
+    }
+}

utbot-framework-test/src/test/kotlin/org/utbot/examples/collections/ListsPart3Test.kt

@@ -7,6 +7,7 @@ import org.utbot.testcheckers.eq
 import org.utbot.testcheckers.ge
 import org.utbot.testing.CodeGeneration
 import org.utbot.testing.DoNotCalculate
+import org.utbot.testing.FullWithAssumptions
 import org.utbot.testing.UtValueTestCaseChecker
 import org.utbot.testing.between
 import org.utbot.testing.isException
@@ -217,6 +218,17 @@ internal class ListsPart3Test : UtValueTestCaseChecker(
         )
     }
 
+    @Test
+    fun testAsListExample() {
+        check(
+            Lists::asListExample,
+            eq(2),
+            { arr, r -> arr.isEmpty() && r!!.isEmpty() },
+            { arr, r -> arr.isNotEmpty() && arr.contentEquals(r!!.toTypedArray()) },
+            coverage = FullWithAssumptions(assumeCallsNumber = 1)
+        )
+    }
+
     @Test
     @Disabled("TODO: add choosing proper type in list wrapper")
     fun testRemoveFromList() {

utbot-framework/src/main/java/org/utbot/engine/overrides/System.java

@@ -210,7 +210,7 @@ public static void arraycopy(Object src, int srcPos, Object dest, int destPos, i
             }
 
             UtArrayMock.arraycopy(srcArray, srcPos, destArray, destPos, length);
-        } else {
+        } else if (src instanceof Object[]) {
             if (!(dest instanceof Object[])) {
                 throw new ArrayStoreException();
             }
@@ -223,6 +223,9 @@ public static void arraycopy(Object src, int srcPos, Object dest, int destPos, i
             }
 
             UtArrayMock.arraycopy(srcArray, srcPos, destArray, destPos, length);
+        } else {
+            // From docs: if the src argument refers to an object that is not an array, an ArrayStoreException will be thrown
+            throw new ArrayStoreException();
         }
     }
 }

utbot-framework/src/main/java/org/utbot/engine/overrides/stream/Arrays.java

@@ -1,6 +1,7 @@
 package org.utbot.engine.overrides.stream;
 
 import org.utbot.api.annotation.UtClassMock;
+import org.utbot.api.mock.UtMock;
 import org.utbot.engine.overrides.collections.UtArrayList;
 
 import java.util.List;
@@ -21,7 +22,7 @@ public static <T> Stream<T> stream(T[] array, int startInclusive, int endExclusi
         return new UtStream<>(array, startInclusive, endExclusive);
     }
 
-    // from docs - array is assumed to be umnodified during use
+    // from docs - array is assumed to be unmodified during use
     public static IntStream stream(int[] array, int startInclusive, int endExclusive) {
         int size = array.length;
 
@@ -37,7 +38,7 @@ public static IntStream stream(int[] array, int startInclusive, int endExclusive
         return new UtIntStream(data, startInclusive, endExclusive);
     }
 
-    // from docs - array is assumed to be umnodified during use
+    // from docs - array is assumed to be unmodified during use
     public static LongStream stream(long[] array, int startInclusive, int endExclusive) {
         int size = array.length;
 
@@ -53,7 +54,7 @@ public static LongStream stream(long[] array, int startInclusive, int endExclusi
         return new UtLongStream(data, startInclusive, endExclusive);
     }
 
-    // from docs - array is assumed to be umnodified during use
+    // from docs - array is assumed to be unmodified during use
     public static DoubleStream stream(double[] array, int startInclusive, int endExclusive) {
         int size = array.length;
 
@@ -75,6 +76,4 @@ public static <T> List<T> asList(T... a) {
         // TODO immutable collection https://github.com/UnitTestBot/UTBotJava/issues/398
         return new UtArrayList<>(a);
     }
-
-    // TODO primitive arrays https://github.com/UnitTestBot/UTBotJava/issues/146
 }