[test] added test

Author: MchKosticyn

VSharp.Test/Tests/Lists.cs

@@ -558,6 +558,20 @@ public static int TestSolvingCopy9(object[] a, int i, object[] b)
             return 3;
         }
 
+        [Ignore("fix creating SMT-solver model")]
+        public static int TestSolvingCopy10(string[] a, int i, string[] b)
+        {
+            if (a.Length > b.Length && 0 <= i && i < b.Length)
+            {
+                Array.Copy(a, b, b.Length);
+
+                if (b[i][0] == b[i + 1][0])
+                    return 42;
+                return 10;
+            }
+            return 3;
+        }
+
         [Ignore("Need to add arrays into type candidates")]
         public static int ArrayAliasWrite(object[] o, string[] s, string str1, string str2)
         {

VSharp.Utils/Collections.fs

@@ -318,7 +318,7 @@ module Array =
                 | :? float as i when elementType = typeof<float> -> fillFast arr i
                 | _ ->
                     // Slow case
-                    Logger.trace "Slowly filling array with %d elements..." arr.Length
+                    Logger.trace $"Slowly filling array with {arr.Length} elements..."
                     let rank = arr.Rank
                     let dims = Array.init rank id
                     let lengths = Array.map arr.GetLength dims