diff options
Diffstat (limited to 'zkvms_host_io/src/lib.rs')
| -rw-r--r-- | zkvms_host_io/src/lib.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/zkvms_host_io/src/lib.rs b/zkvms_host_io/src/lib.rs index bf7ebc4..ee66bae 100644 --- a/zkvms_host_io/src/lib.rs +++ b/zkvms_host_io/src/lib.rs @@ -206,12 +206,12 @@ pub fn emit_benchmark_results(run_info: RunWith, starts: Vec<Instant>, ends: Vec { 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, "{}", run.dump()) { - panic!("Failed to write output: {}", e); + panic!("Failed to write to metrics output file \"{path}\": {e}"); } } else { println!("{}", run.dump()); |
