(path: &std::path::Path, reads: &Vec<(u64, u64, u8)>)
| 231 | } |
| 232 | |
| 233 | pub fn save_mmio_reads(path: &std::path::Path, reads: &Vec<(u64, u64, u8)>) { |
| 234 | use std::io::Write; |
| 235 | |
| 236 | if reads.is_empty() { |
| 237 | return; |
| 238 | } |
| 239 | |
| 240 | let mut output = std::io::BufWriter::new(std::fs::File::create(path).unwrap()); |
| 241 | for (addr, value, size) in reads { |
| 242 | writeln!(output, "{addr:#x},{size:#x},{value:#x}").unwrap(); |
| 243 | } |
| 244 | } |
no test coverage detected