PropCheck has reached v1.0.0 after implementing the feature of storing counter examples between test runs.
Changelog:
Counter examples are automatically stored and reapplied until the properties work
or the counter examples are deleted. See https://github.com/alfert/propcheck/pull/18
Mix configuration for counter examples file and for inspecting and cleaning
counter examples.