summaryrefslogtreecommitdiff
path: root/main.cpp
diff options
context:
space:
mode:
authorJulian Blake Kongslie2022-06-27 18:38:06 -0700
committerJulian Blake Kongslie2022-06-27 18:38:06 -0700
commit9792c0e927d3e860535b96e8d588d6158dd901a9 (patch)
tree7e066aee28b6e7423429191be34a773bc27f5b44 /main.cpp
parentFix missing whitespace. (diff)
downloadissim-9792c0e927d3e860535b96e8d588d6158dd901a9.tar.xz
Step limit.
Diffstat (limited to 'main.cpp')
-rw-r--r--main.cpp5
1 files changed, 3 insertions, 2 deletions
diff --git a/main.cpp b/main.cpp
index b7d577f..c9a084c 100644
--- a/main.cpp
+++ b/main.cpp
@@ -10,10 +10,11 @@
10#include "fib/fib.h" 10#include "fib/fib.h"
11#include "git-tag.h" 11#include "git-tag.h"
12 12
13const unsigned int max_steps = 300;
13const bool show_mem_fetch = false; 14const bool show_mem_fetch = false;
14const bool show_mem_store = true; 15const bool show_mem_store = true;
15const bool show_regs = false; 16const bool show_regs = false;
16const bool show_steps = true; 17const bool show_steps = false;
17const bool show_tasks = false; 18const bool show_tasks = false;
18 19
19int main(int argc, const char *argv[]) 20int main(int argc, const char *argv[])
@@ -88,7 +89,7 @@ int main(int argc, const char *argv[])
88 return 1; 89 return 1;
89 } 90 }
90 91
91 while (true) { 92 for (unsigned int i = 0; i < max_steps; ++i) {
92 auto res = eval.async_fetch_and_run_step()(); 93 auto res = eval.async_fetch_and_run_step()();
93 if (res.has_value()) { 94 if (res.has_value()) {
94 auto &es = *res; 95 auto &es = *res;