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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe