This report was generated with jqwik 1.3.6
jqwik currently normalises this example to [0, 1]
Over 100 runs, jqwik performed between 11 and 23 evaluations during shrinking, with a mean cost of 17.54 (95% confidence interval 17.05 - 18.05).
This report was generated with jqwik 1.3.6
jqwik currently normalises this example to [0, 1]
Over 100 runs, jqwik performed between 11 and 23 evaluations during shrinking, with a mean cost of 17.54 (95% confidence interval 17.05 - 18.05).