make quickcheck configurable

nicoabie / quickcheck

Randomized testing for Prolog à la QuickCheck

The Unlicense

22 stars 1 forks source link

make quickcheck configurable #6

Open mndrix opened 10 years ago

mndrix commented 10 years ago

All quickcheck behaviors are currently hard coded. Move some of them to an options argument. A good place to start is TestCount. This is probably a good place to use dicts.

nicoabie commented 5 years ago

TestCount option is already implemented. The following are options that could be added:

size: maximum size of generated values
quiet: do not print warnings
throw_on_error: whether to throw a counter_example or not (default is true)