1 files changed, 1 insertions, 1 deletions

diff --git a/main.cpp b/main.cpp
index 4fec1f4..226fc31 100644
--- a/main.cpp
+++ b/main.cpp
@@ -79,7 +79,7 @@ int main(int argc, const char *argv[]) {
     std::ofstream pt("bug.pt");
     infra::pt::ptfile = &pt;
 
-    while (!core.checker.done()) {
+    for (unsigned int cycles = 0; !core.checker.done() && cycles < 500000; ++cycles) {
 //        if (!checker.ctlregs[HALTED]) {
 //            if (checker.inst.final_address.has_value())
 //                std::cout << fmt::format("{:05o}  {:01o} {:04o}  {:04o}  {:005o}\n", checker.pc, checker.link, checker.acc, checker.mq, *checker.inst.final_address);