From 304bf427b148cc918f7bb09b3b1ec0f049136ced Mon Sep 17 00:00:00 2001
From: William Woodruff <william@trailofbits.com>
Date: Tue, 7 Nov 2023 12:04:15 -0500
Subject: [PATCH] rust-webpki: pretty-print results

We're not trying to save space.

Signed-off-by: William Woodruff <william@trailofbits.com>
---
 harness/rust-webpki/src/main.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/harness/rust-webpki/src/main.rs b/harness/rust-webpki/src/main.rs
index f02438d5..1c822bfb 100644
--- a/harness/rust-webpki/src/main.rs
+++ b/harness/rust-webpki/src/main.rs
@@ -26,7 +26,11 @@ fn main() {
         results,
     };
 
-    std::fs::write(LIMBO_RESULTS_OUT, serde_json::to_string(&result).unwrap()).unwrap()
+    std::fs::write(
+        LIMBO_RESULTS_OUT,
+        serde_json::to_string_pretty(&result).unwrap(),
+    )
+    .unwrap()
 }
 
 #[derive(Serialize)]