4 ms·
I use pitest to run mutation coverage on most of my Java code bases. pitest implements a timeout to check for infinite loops introduced by changing the code. h
by rjdavis3 9y ago
I use pitest to run mutation coverage on most of my Java code bases. pitest implements a timeout to check for infinite loops introduced by changing the code.
http://pitest.org/faq/ http://pitest.org/faq/
- computerex 9y agoPitest 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.