(&self, pc: u64, mem_addr: u64)
| 10 | |
| 11 | impl Model { |
| 12 | fn matches_context(&self, pc: u64, mem_addr: u64) -> bool { |
| 13 | (self.pc == u32::MAX || self.pc as u64 == pc) |
| 14 | && (self.addr == u32::MAX || self.addr as u64 == mem_addr) |
| 15 | } |
| 16 | } |
| 17 | |
| 18 | pub enum ModelKind { |