This report was generated with jqwik 1.3.4
jqwik currently normalises this example to [900]
Over 100 runs, jqwik performed between 101 and 2748 evaluations during shrinking, with a mean cost of 775.75 (95% confidence interval 670.23 - 873.80).
This report was generated with jqwik 1.3.4
jqwik currently normalises this example to [900]
Over 100 runs, jqwik performed between 101 and 2748 evaluations during shrinking, with a mean cost of 775.75 (95% confidence interval 670.23 - 873.80).