3 ms·
Isn't there value in a weak halt-checker? Imagine a function that always returns one of: Yes, it halts No, it loops forever Can't decide. Wouldn't that still
by GMoromisato 4y ago
Isn't there value in a weak halt-checker? Imagine a function that always returns one of:
Yes, it halts
No, it loops forever
Can't decide.
Wouldn't that still be useful in practice?
- Nevermark 4y agoYes, it could be useful. Especially if "can't decide" means "can't decide using the resources limit you provided" so that the test returns consistent results. (As apposed to different results depending on the differing resources between machines the test ran on.)
- xigoi 4y agoYes, but the usefulness of such a tool depends on what exactly you want to achieve.