PropCheck.check
You're seeing just the function
check
, go back to PropCheck module for more information.
Specs
check(outer_test(), counterexample(), user_opts()) :: short_result()
Re-checks a specific counterexample cexm
against the property
outer_test
that it previously falsified.