- test-property property generator-list #!optional runsprocedure
Run a property test.
The property argument is a predicate procedure with an arity equal to the length of the generator-list argument. The generator-list argument must be a proper list containing SRFI 158 generators. The property procedure must be applied to the values returned by the generator-list such that the value generated by the car position of the generator-list will be the first argument to property, and so on.
The runs argument, if provided, must be a non-negative integer. This argument specifies how many times the property will be tested with newly generated inputs. If not provided, the implementation may choose how many times to run the test.
It is an error if any generator in generator-list is exhausted before the specified number of runs is completed.
Property tests can be named by placing them inside an SRFI 64 test group.