4 ms·
Pitest has solved the halting problem?
by computerex 9y ago
Pitest has solved the halting problem?
- mcv 9y agoTimeouts are not a perfect solution to the halting problem, but usually good enough.
- solatic 9y agoIn the real world, you can't wait five minutes for the server to return a response. If the server returns the correct response after ten minutes, it's still wrong, unless the programmer has explicitly acknowledged that the procedure in question is a long-running procedure and has lengthened (but not eliminated) the time-out accordingly. The halting problem is an irrelevant, Ivory-tower distraction in production code.