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.