|
|
|
|
|
|
by zmgsabst
859 days ago
|
|
|
Yes — that’s correct. Programs with a fixed amount of execution time always terminate. That’s why we add timeouts to executions, because they’re a solution to the halting problem, which guarantees execution flow of our machines always returns at some point. |
|
|