This report was generated with jqwik 1.3.6
jqwik currently normalises this example to [900]
Over 100 runs, jqwik performed between 110 and 2132 evaluations during shrinking, with a mean cost of 717.11 (95% confidence interval 635.03 - 794.77).
This report was generated with jqwik 1.3.6
jqwik currently normalises this example to [900]
Over 100 runs, jqwik performed between 110 and 2132 evaluations during shrinking, with a mean cost of 717.11 (95% confidence interval 635.03 - 794.77).