[difftest] add rtl unexcepted quit check

chipsalliance · Jul 28, 2024 · a1c2f4c · a1c2f4c
1 parent 1c188cb
commit a1c2f4c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/difftest/offline/src/difftest.rs b/difftest/offline/src/difftest.rs
@@ -41,7 +41,7 @@ impl Difftest {
       JsonEvents::SimulationStop { reason, cycle } => {
         info!("simulation stopped at cycle {}, reason {}", cycle, reason);
         self.runner.cycle = *cycle;
-        Ok(())
+        Err(anyhow::anyhow!("quit: no more events"))
       }
       JsonEvents::Issue { idx, cycle } => {
         self.runner.cycle = *cycle;

diff --git a/difftest/offline/src/dut.rs b/difftest/offline/src/dut.rs
@@ -39,7 +39,7 @@ impl Dut {
   pub fn step(&mut self) -> anyhow::Result<&JsonEvents> {
     let event = match self.events.get(self.idx as usize) {
       Some(event) => event,
-      None => return Err(anyhow::anyhow!("no more events")),
+      None => return Err(anyhow::anyhow!("error: rtl quit unexpectedly")),
     };
     self.idx += 1;