[fix] hot fixes

- fixed test runner for one file
- fixed test rendering for compact array representation

Author: MchKosticyn

VSharp.TestRunner/TestRunnerTool.cs

@@ -1,5 +1,6 @@
 using System;
 using System.Collections.Generic;
+using System.Diagnostics;
 using System.IO;
 using System.Linq;
 using System.Reflection;
@@ -62,9 +63,9 @@ private static bool ReproduceTest(FileInfo fileInfo, SuitType suitType, bool che
                     var debugAssertFailed = message != null && message.Contains("Debug.Assert failed");
                     bool shouldInvoke = suitType switch
                     {
-                        SuitType.TestsOnly => !test.IsError,
-                        SuitType.ErrorsOnly => test.IsError,
-                        SuitType.TestsAndErrors => !debugAssertFailed,
+                        SuitType.TestsOnly => !test.IsError || fileMode,
+                        SuitType.ErrorsOnly => test.IsError || fileMode,
+                        SuitType.TestsAndErrors => !debugAssertFailed || fileMode,
                         _ => false
                     };
                     if (shouldInvoke)
@@ -79,6 +80,7 @@ private static bool ReproduceTest(FileInfo fileInfo, SuitType suitType, bool che
                     }
                     if (checkResult && !test.IsError && !CompareObjects(test.Expected, result))
                     {
+                        Debug.Assert(shouldInvoke);
                         // TODO: use NUnit?
                         Console.ForegroundColor = ConsoleColor.Red;
                         Console.Error.WriteLine("Test {0} failed! Expected {1}, but got {2}", fileInfo.Name,
@@ -124,7 +126,7 @@ private static bool ReproduceTest(FileInfo fileInfo, SuitType suitType, bool che
         public static bool ReproduceTest(FileInfo file, bool checkResult)
         {
             AppDomain.CurrentDomain.AssemblyResolve += TryLoadAssemblyFrom;
-            return ReproduceTest(file, SuitType.TestsAndErrors, checkResult);
+            return ReproduceTest(file, SuitType.TestsAndErrors, checkResult, true);
         }
 
         public static bool ReproduceTests(DirectoryInfo testsDir, SuitType suitType = SuitType.TestsAndErrors)

VSharp.Utils/MemoryGraph.fs

@@ -168,7 +168,11 @@ and MemoryGraph(repr : memoryRepr, mocker : ITypeMockSerializer, createCompactRe
                     arr.SetValue(value, indices))
             arr :> obj
         | _ when createCompactRepr ->
-            {array = arr; defaultValue = repr.defaultValue; indices = repr.indices; values = repr.values}
+            let values = Array.map decodeValue repr.values
+            let defaultValue = decodeValue repr.defaultValue
+            Array.fill arr defaultValue
+            Array.iter2 (fun (i : int[]) v -> arr.SetValue(decodeValue v, i)) repr.indices repr.values
+            {array = arr; defaultValue = repr.defaultValue; indices = repr.indices; values = values}
         | _ ->
             let defaultValue = decodeValue repr.defaultValue
             Array.fill arr defaultValue