[difftest] remove mem read check

chipsalliance · Jun 15, 2024 · 047fc9e · 047fc9e
1 parent ad11281
commit 047fc9e
Showing 1 changed file with 9 additions and 9 deletions.
diff --git 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,