diff options
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; |
