diff options
| author | Julian Blake Kongslie | 2022-06-27 18:38:06 -0700 |
|---|---|---|
| committer | Julian Blake Kongslie | 2022-06-27 18:38:06 -0700 |
| commit | 9792c0e927d3e860535b96e8d588d6158dd901a9 (patch) | |
| tree | 7e066aee28b6e7423429191be34a773bc27f5b44 /main.cpp | |
| parent | Fix missing whitespace. (diff) | |
| download | issim-9792c0e927d3e860535b96e8d588d6158dd901a9.tar.xz | |
Step limit.
Diffstat (limited to 'main.cpp')
| -rw-r--r-- | main.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
| @@ -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 | ||
| 13 | const unsigned int max_steps = 300; | ||
| 13 | const bool show_mem_fetch = false; | 14 | const bool show_mem_fetch = false; |
| 14 | const bool show_mem_store = true; | 15 | const bool show_mem_store = true; |
| 15 | const bool show_regs = false; | 16 | const bool show_regs = false; |
| 16 | const bool show_steps = true; | 17 | const bool show_steps = false; |
| 17 | const bool show_tasks = false; | 18 | const bool show_tasks = false; |
| 18 | 19 | ||
| 19 | int main(int argc, const char *argv[]) | 20 | int 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; |
