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();
             }
         }
     }