News for hackers. Stuff that matters.

A comment on How Is Critical Life or Death Software Tested?. Parent comment

Re:How Is Critical Life or Death Software Tested? by TheLoneWolfling on Monday June 01, 2015 @10:51PM (#9643552)
It does slightly more than that - it provides a cheap computation of the upper bound of how long it will take.
[ Parent | on HN ]
Re:How Is Critical Life or Death Software Tested? by eropple on Monday June 01, 2015 @10:56PM (#9643572)
Yeah, that too. Come to think of it, that was probably more his concern than just halting.
[ Parent | on HN ]
Re:How Is Critical Life or Death Software Tested? by TheLoneWolfling on Monday June 01, 2015 @11:34PM (#9643685)
Going out on a limb here, but I don't suppose it was for a superoptimizer?
[ Parent | on HN ]