Feb-13-2018, 10:31 PM
(Feb-13-2018, 07:33 PM)Mekire Wrote:Thanks for the informative link.(Feb-13-2018, 12:15 PM)Larz60+ Wrote: I don't know of any tool that's smart enough to test all cases.Automatic program correctness verification is an undecidable problem. Halting problem and all that.