[feat] Emit only unique errors

Author: misonijnik

VSharp.SILI/SILI.fs

@@ -107,9 +107,11 @@ type public SILI(options : SiliOptions) =
                         if method.DeclaringType.IsValueType || methodHasByRefParameter method
                         then Memory.ForcePopFrames (callStackSize - 2) cilState.state
                         else Memory.ForcePopFrames (callStackSize - 1) cilState.state
-                match TestGenerator.state2test isError method cmdArgs cilState message with
-                | Some test -> reporter test
-                | None -> ()
+                if not isError || statistics.EmitError cilState message
+                then
+                    match TestGenerator.state2test isError method cmdArgs cilState message with
+                    | Some test -> reporter test
+                    | None -> ()
         with :? InsufficientInformationException as e ->
             cilState.iie <- Some e
             reportIncomplete cilState

VSharp.SILI/Statistics.fs

@@ -42,6 +42,7 @@ type public SILIStatistics() =
     let startIp2currentIp = Dictionary<codeLocation, Dictionary<codeLocation, uint>>()
     let totalVisited = Dictionary<codeLocation, uint>()
     let visitedWithHistory = Dictionary<codeLocation, HashSet<codeLocation>>()
+    let emittedErrors = Dictionary<codeLocation * string, unit>()
 
     let mutable isVisitedBlocksNotCoveredByTestsRelevant = true
     let visitedBlocksNotCoveredByTests = Dictionary<cilState, Set<codeLocation>>()
@@ -220,6 +221,12 @@ type public SILIStatistics() =
 
         visitedBlocksNotCoveredByTests.Remove s |> ignore
 
+    member x.EmitError (s : cilState) (errorMessage : string) =
+        let currentLoc = ip2codeLocation (currentIp s)
+        match currentLoc with
+        | Some loc -> emittedErrors.TryAdd((loc, errorMessage), ())
+        | _ -> true
+        
     member x.TrackStepBackward (pob : pob) (cilState : cilState) =
         // TODO
         ()

VSharp.Test/Tests/Attributes.cs

@@ -121,6 +121,20 @@ public int DisallowNullCallsNotNullTest([DisallowNull] object obj)
         {
             return NotNullTest1(obj);
         }
+
+        [TestSvm(guidedMode:false, strat:SearchStrategy.ShortestDistance)]
+        public int ReadAll([NotNull] byte[] buffer)
+        {
+            int next;
+            int count = 0;
+            int count2 = 10;
+            while (count2 >= 0)
+            {
+                --count2;
+            }
+
+            return count;
+        }
     }
 
     [TestSvmFixture]