From 3c86cbb7ef2f6f9897a494e9ecc0da36ffb9be7a Mon Sep 17 00:00:00 2001
From: Omar <OmarAbdulla7@hotmail.com>
Date: Thu, 9 Oct 2025 18:41:26 +0300
Subject: [PATCH] Make output format deserializable (#187)

* Make output format deserializable

* Flush the buffer after writing the entire file output
---
 crates/config/src/lib.rs                          | 1 +
 crates/core/src/differential_tests/entry_point.rs | 9 ++++++++-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/crates/config/src/lib.rs b/crates/config/src/lib.rs
index a40de8d..6fd63f6 100644
--- a/crates/config/src/lib.rs
+++ b/crates/config/src/lib.rs
@@ -1002,6 +1002,7 @@ pub enum TestingPlatform {
     Ord,
     Hash,
     Serialize,
+    Deserialize,
     ValueEnum,
     EnumString,
     Display,
diff --git a/crates/core/src/differential_tests/entry_point.rs b/crates/core/src/differential_tests/entry_point.rs
index b9cd9a7..5c7f5dc 100644
--- a/crates/core/src/differential_tests/entry_point.rs
+++ b/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();
             }
         }
     }