From 047fc9e7f6c3bb91027b56172c6934bd41deeb0b Mon Sep 17 00:00:00 2001 From: Clo91eaf Date: Sat, 15 Jun 2024 10:52:14 +0800 Subject: [PATCH] [difftest] remove mem read check --- .../src/difftest/spike/spike_event.rs | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/difftest/t1-simulator/src/difftest/spike/spike_event.rs b/difftest/t1-simulator/src/difftest/spike/spike_event.rs index b1063b0bd1..e027f9607b 100644 --- a/difftest/t1-simulator/src/difftest/spike/spike_event.rs +++ b/difftest/t1-simulator/src/difftest/spike/spike_event.rs @@ -380,15 +380,15 @@ impl SpikeEvent { // self.disasm // ); // } - for (addr, record) in &self.mem_access_record.all_reads { - assert_eq!( - record.num_completed_reads, - record.reads.len(), - "[{cycle}] expect to read mem {addr:#x}, not executed when commit (pc={:#x}, inst={})", - self.pc, - self.disasm - ); - } + // for (addr, record) in &self.mem_access_record.all_reads { + // assert_eq!( + // record.num_completed_reads, + // record.reads.len(), + // "[{cycle}] expect to read mem {addr:#x}, not executed when commit (pc={:#x}, inst={})", + // self.pc, + // self.disasm + // ); + // } for (idx, record) in &self.vrf_access_record.all_writes { assert!( record.executed,