3 ms·
QuickCheck is cool. But don't make the mistake of thinking that it proves that the properties hold universally.
by kscaldef 17y ago
QuickCheck is cool. But don't make the mistake of thinking that it proves that the properties hold universally.
- eru 17y agoYes. But it's closer to that goal than coding up test cases by hand. (If `closer' is a suitable expression for comparing infinite distances.) SmallCheck and Lazy SmallCheck seem also to be worth a look. But I did not use them, yet.