blob: f8c9459977b25d263d1bc3ac8225e793e0dada12 (
plain) (
blame)
1
2
3
4
5
|
SmallCheck is a testing library that allows to verify properties for all
test cases up to some depth. The test cases are generated automatically
by SmallCheck.
WWW: https://github.com/feuerbach/smallcheck
|