prop_check_rs::prop

Function test_with_prop

Source 
pub fn test_with_prop(
    p: Prop,
    max_size: MaxSize,
    test_cases: TestCases,
    rng: RNG,
) -> Result<()>
Expand description

Execute the Prop.

§Arguments

  • max_size - The maximum size of the generated value.
  • test_cases - The number of test cases.
  • rng - The random number generator.

§Returns

  • Result<()> - The result of the Prop.