PropCheck.TargetedPBT.not_exists
You're seeing just the macro
not_exists
, go back to PropCheck.TargetedPBT module for more information.
The not_exists
macro uses the targeted PBT component of PropEr to try
to find one instance of xs
that makes the prop
return false
.
If such a xs
is found the property passes. Note that there is no counterexample if no
such xs
could be found.