mix propcheck.clean (PropCheck - Property Testing v1.3.1-rc1) View Source

Removes the counter example file of propcheck.