mix propcheck.clean (PropCheck v1.4.0) View Source

Removes the counter example file of propcheck.