Function save_path_trace

hail-fuzz/src/debugging/trace.rs:222–231

(path: &std::path::Path, blocks: &Vec<TraceEntry>)

}

pub fn save_path_trace(path: &std::path::Path, blocks: &Vec<TraceEntry>) {
    use std::io::Write;

    let mut output = std::io::BufWriter::new(std::fs::File::create(path).unwrap());
    writeln!(output, "pc,sp,icount,fuzz_offset,last_read,last_value").unwrap();
    for TraceEntry { pc, sp, icount, fuzz_offset, last_read, last_value } in blocks {
        writeln!(output, "{pc:#x},{sp:#x},{icount},{fuzz_offset},{last_read:#x},{last_value:#x}")
            .unwrap();
    }
}

pub fn save_mmio_reads(path: &std::path::Path, reads: &Vec<(u64, u64, u8)>) {
    use std::io::Write;