diff options
Diffstat (limited to 'zkvms_guest_io/src/main.rs')
| -rw-r--r-- | zkvms_guest_io/src/main.rs | 4 |
1 files changed, 2 insertions, 2 deletions
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()); |
