1 files changed, 3 insertions, 0 deletions

diff --git a/isa/checker.h b/isa/checker.h
index 571bbc8..96460cf 100644
--- a/isa/checker.h
+++ b/isa/checker.h
@@ -52,4 +52,7 @@ struct checker {
         ctlregs.fill(0);
     }
     void execute();
+    bool done() {
+        return ctlregs[HALTED] && system.done();
+    }
 };