This report was generated with jqwik 1.3.6
jqwik currently normalises this example to [1, 0]
Over 100 runs, jqwik performed between 31 and 341 evaluations during shrinking, with a mean cost of 140.04 (95% confidence interval 126.14 - 153.58).
This report was generated with jqwik 1.3.6
jqwik currently normalises this example to [1, 0]
Over 100 runs, jqwik performed between 31 and 341 evaluations during shrinking, with a mean cost of 140.04 (95% confidence interval 126.14 - 153.58).