Module prop_check_rs::prop

source ·

Structs

Prop

Enums

PropResult

Traits

IsFalsified

Functions

for_all_gen
Represents the function to evaluate the properties by using Gens.
for_all_gen_for_size
Represents the function to evaluate the properties by using Gens.
for_all_sgen
Represents the function to evaluate the properties by using SGens.
run_with_prop
Execute the Prop.
test_with_prop

Type Definitions

FailedCase
MaxSize
SuccessCount
TestCases