prop_check_rs::prop

Function run_with_prop

Source 
pub fn run_with_prop(
    p: Prop,
    max_size: MaxSize,
    test_cases: TestCases,
    rng: RNG,
) -> Result<String>
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<String> - The result of the Prop.