Flush the buffer after writing the entire file output

crates/config/src/lib.rs

@@ -1002,6 +1002,7 @@ pub enum TestingPlatform {
     Ord,
     Hash,
     Serialize,
+    Deserialize,
     ValueEnum,
     EnumString,
     Display,

crates/core/src/differential_tests/entry_point.rs

@@ -318,7 +318,14 @@ async fn start_cli_reporting_task(output_format: OutputFormat, reporter: Reporte
                     status, success_count, failure_count, ignored_count,
                 )
                 .unwrap();
-                writeln!(buf).unwrap()
+                writeln!(buf).unwrap();
+
+                buf = tokio::task::spawn_blocking(move || {
+                    buf.flush().unwrap();
+                    buf
+                })
+                .await
+                .unwrap();
             }
         }
     }