What a @property test runs: body on count generated inputs. Call it by hand to give
the arguments custom generators or another count.
- t: the running test.
- $body: the property; its arguments are generated.
- count: how many trials to run.
- generators: custom generators that replace the built-in ones for their types.
run_property :: (
t: *Test,
$body: $B,
count: s64 = DEFAULT_TRIALS,
generators: [] Custom_Generator = .[]
)What a @property test runs: body on count generated inputs. Call it by hand to give
the arguments custom generators or another count.
Parameters
- t: *Test
- the running test.
- $body: $B
- the property; its arguments are generated.
- count: s64
- how many trials to run.
- generators: [] Custom_Generator
- custom generators that replace the built-in ones for their types.