search

nicoabie / quickcheck

Randomized testing for Prolog à la QuickCheck
The Unlicense
22 stars 1 forks source link

More bisection for shrink/3 #2

Open mndrix opened 10 years ago

mndrix commented 10 years ago

Improve the bisection support for list and integer (and other integral types). Make sure that other types with large value spaces are shrunken with some kind of bisection.