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

Removes the counter example file of propcheck.