mix propcheck.clean (PropCheck v1.5.0)

View Source

Removes the counter example file of propcheck.