11 Feb
2011
11 Feb
'11
11:02 a.m.
Am 11.02.2011 13:48, schrieb Daniel Fischer: [...] +1
Testing can only prove code incorrect, it can never prove code correct (except for extremely simple cases where testing all possible inputs can be done; but guaranteeing that QuickCheck generates all possible inputs is generally harder than a proof without testing in those cases).
Maybe smallcheck is better than QuickCheck for such (finite and simple) cases. http://hackage.haskell.org/package/smallcheck C.