From 42d9672e3f2110c58d1af9de542a08ba0ab6f358 Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Wed, 30 Apr 2025 13:41:49 +0300 Subject: fix(zkvms io): More detailed errors on metrics output failure --- zkvms_guest_io/src/main.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'zkvms_guest_io/src') diff --git a/zkvms_guest_io/src/main.rs b/zkvms_guest_io/src/main.rs index ab20a32..23b7aef 100644 --- a/zkvms_guest_io/src/main.rs +++ b/zkvms_guest_io/src/main.rs @@ -131,12 +131,12 @@ fn main() { { Ok(file) => file, Err(e) => { - panic!("Failed to open file: {}", e); + panic!("Failed to open metrics output file \"{path}\": {e}"); } }; if let Err(e) = writeln!(outfile, "{}", runs.dump()) { - panic!("Failed to write output: {}", e); + panic!("Failed to write to metrics output file \"{path}\": {e}"); } } else { println!("{}", runs.dump()); -- cgit v1.2.3