PropCheck.numtests
You're seeing just the function
numtests
, go back to PropCheck module for more information.
Specs
numtests(pos_integer(), outer_test()) :: outer_test()
Specifies the number N
of tests to run when testing the property
property
.
Default is 100. This function only changes the number of the tests, but not the size of a test.