flush writer so that it is still written to file if .Sample throws an…

… exception due to failed test case
AnthonyLloyd · Sep 4, 2024 · affd392 · affd392
1 parent 72ecc70
commit affd392
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -19,3 +19,4 @@ data
 /dataSources/
 /dataSources.local.xml
 .idea
+CsCheck.sln.DotSettings.user
diff --git a/CsCheck/Check.cs b/CsCheck/Check.cs
@@ -160,7 +160,7 @@ public static void Process<T>(
                                 metric.Succeeded ? "passed" : "failed", metric.input
                                 , "reason", d, "testing", d, null, d, d));
                         genLogParameters.streamWriter.Write(JsonSerializer.Serialize(tycheData));
-
+                        genLogParameters.streamWriter.Flush();
                         break;
                     default:
                         throw new ArgumentOutOfRangeException(nameof(genLogParameters), genLogParameters, null);

diff --git a/Tests/MetricLogsTest.cs → Tests/GenLogsTest.cs b/Tests/MetricLogsTest.cs → Tests/GenLogsTest.cs
@@ -4,7 +4,7 @@
 
 namespace Tests;
 
-public class MetricLogsTest
+public class GenLogsTest
 {
     static int[] Tally(int n, int[] ia)
     {
@@ -37,8 +37,6 @@ public void Bool_Distribution_WithTycheLogs(int generatedIntUponTrue)
                 {
                 }
 
-                writer.Flush();
-
                 memoryStream.Position = 0;
                 string json;
                 using (StreamReader reader = new StreamReader(memoryStream, Encoding.UTF8))