PropCheck.fails
You're seeing just the function
fails
, go back to PropCheck module for more information.
Specs
fails(outer_test()) :: outer_test()
Specifies that we expect the property property
to fail for some input.
The property will be considered failing if it passes all the tests.