A property that consumes 1 argument of type
A property is verified if no failed assertion on PropertyHelper has been reported for all the samples it consumed.
If the property did not verify, the given sample is shrunken if the generator supports shrinking. The smallest shrunken sample will then be reported to the user.
trait ref Property1[T: T]
The name of the property used for reporting during execution.
fun box name() : String val
- String val
Returns parameters to customize execution of this Property.
fun box params() : PropertyParams val
- PropertyParams val
The Generator used to produce samples to verify.
fun box gen() : Generator[T] box
- Generator[T] box
A method verifying that a certain property holds for all given
with the help of PropertyHelper
fun ref property( arg1: T, h: PropertyHelper val) : None val ?
- arg1: T
- h: PropertyHelper val
- None val ?