3 ms·
I'm not asking if it terminates, I'm asking when it does. After all it's not much use if the number overflows the universe.
by thr_ddv 3y ago
I'm not asking if it terminates, I'm asking when it does. After all it's not much use if the number overflows the universe.
- littlestymaar 3y agoBut that's not something these kinds of tools are supposed do, even with trivial functions… These tools have no idea about the run-time (and there's no way they coule, since it depends on the load you put on the hardware in parallel of running your program)
- redjamjar 3y agoI agree. There are tools though which are specifically for determining worst-case execution time for e.g. embedded systems which can actually give accurate timing information (upto a point).
- redjamjar 3y agoYeah, so these tools will not tell you how long it will take to terminate --- only that it will eventually. In the vast majority of cases, that is what you want to know.
- nine_k 3y agoFor practical reasons, it's enough to prove that it takes longer than some upper bound, say, 10 ms. The rest is not important.