From 26ff9c50dd2a71a0a45efbda1da69083c506cbb9 Mon Sep 17 00:00:00 2001 From: Rafal Gwozdzinski Date: Sat, 27 May 2023 19:43:11 +0200 Subject: [PATCH] Less noisy output from successful cb-check --- cb-check/main.ml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/cb-check/main.ml b/cb-check/main.ml index 5a26aaaf..f27c0726 100644 --- a/cb-check/main.ml +++ b/cb-check/main.ml @@ -34,10 +34,11 @@ let validate l = Format.printf "No schema-valid results were parsed.@."; exit 1 | validated -> - Format.printf "Correctly parsed some benchmarks:@."; + Format.printf "Correctly parsed following benchmarks:@."; Cb_schema.S.merge [] validated - |> List.map Cb_schema.S.to_json - |> List.iter (fun j -> Format.printf "%a@." pp j) + |> List.iter (fun { Schema.benchmark_name; _ } -> + Option.value ~default:"unnamed" benchmark_name + |> Format.printf "%s@.") let () = let ic = if Array.length Sys.argv >= 2 then open_in Sys.argv.(1) else stdin in