Functions
fn prop_pass() -> string
**Returns:** string
fn prop_fail(message: string) -> string
**Parameters:**
| Name | Type |
|---|---|
message | string |
**Returns:** string
fn prop_discard(reason: string) -> string
**Parameters:**
| Name | Type |
|---|---|
reason | string |
**Returns:** string
fn config_default() -> RunConfig
**Returns:** RunConfig
fn config(trials: int, max_shrink_steps: int, discard_limit: int, seed: int) -> RunConfig
**Parameters:**
| Name | Type |
|---|---|
trials | int |
max_shrink_steps | int |
discard_limit | int |
seed | int |
**Returns:** RunConfig
fn int_range(min_value: int, max_value: int) -> IntRangeGenerator
**Parameters:**
| Name | Type |
|---|---|
min_value | int |
max_value | int |
**Returns:** IntRangeGenerator
fn int_pair(first: IntRangeGenerator, second: IntRangeGenerator) -> IntPairGenerator
**Parameters:**
| Name | Type |
|---|---|
first | IntRangeGenerator |
second | IntRangeGenerator |
**Returns:** IntPairGenerator
fn int_array(element: IntRangeGenerator, max_length: int) -> IntArrayGenerator
**Parameters:**
| Name | Type |
|---|---|
element | IntRangeGenerator |
max_length | int |
**Returns:** IntArrayGenerator
fn report_passed(report: PropertyReport) -> bool
**Parameters:**
| Name | Type |
|---|---|
report | PropertyReport |
**Returns:** bool
fn report_summary(report: PropertyReport) -> string
**Parameters:**
| Name | Type |
|---|---|
report | PropertyReport |
**Returns:** string
fn forall_int(name: string, generator: IntRangeGenerator, property: unknown) -> PropertyReport
**Parameters:**
| Name | Type |
|---|---|
name | string |
generator | IntRangeGenerator |
property | unknown |
**Returns:** PropertyReport
fn forall_int_with_config(name: string, generator: IntRangeGenerator, property: unknown, cfg: RunConfig) -> PropertyReport
**Parameters:**
| Name | Type |
|---|---|
name | string |
generator | IntRangeGenerator |
property | unknown |
cfg | RunConfig |
**Returns:** PropertyReport
fn forall_int_pair(name: string, generator: IntPairGenerator, property: unknown) -> PropertyReport
**Parameters:**
| Name | Type |
|---|---|
name | string |
generator | IntPairGenerator |
property | unknown |
**Returns:** PropertyReport
fn forall_int_pair_with_config(name: string, generator: IntPairGenerator, property: unknown, cfg: RunConfig) -> PropertyReport
**Parameters:**
| Name | Type |
|---|---|
name | string |
generator | IntPairGenerator |
property | unknown |
cfg | RunConfig |
**Returns:** PropertyReport
fn forall_int_array(name: string, generator: IntArrayGenerator, property: unknown) -> PropertyReport
**Parameters:**
| Name | Type |
|---|---|
name | string |
generator | IntArrayGenerator |
property | unknown |
**Returns:** PropertyReport
fn forall_int_array_with_config(name: string, generator: IntArrayGenerator, property: unknown, cfg: RunConfig) -> PropertyReport
**Parameters:**
| Name | Type |
|---|---|
name | string |
generator | IntArrayGenerator |
property | unknown |
cfg | RunConfig |
**Returns:** PropertyReport
Structs
*No public structs*
Enums
*No public enums*
Unions
*No public unions*
Opaque Types
*No opaque types*
Constants
| Name | Type | Value |
|---|---|---|
PROP_OUTCOME_PASS | int | 0 |
PROP_OUTCOME_FAIL | int | 1 |
PROP_OUTCOME_DISCARD | int | 2 |
RNG_MULTIPLIER | int | 48271 |
RNG_MODULUS | int | 2147483647 |