search

typelevel / weaver-test

A test framework that runs everything in parallel.
https://typelevel.org/weaver-test/
Other
46 stars 8 forks source link

scalacheck: maximumDiscarded is not calculated properly for some values of minimumSuccessful #100

Open zainab-ali opened 2 weeks ago

zainab-ali commented 2 weeks ago

This issue was copied over from: https://github.com/disneystreaming/weaver-test/issues/526 It was opened by: wedens

If minimumSuccessful is set to 10 property tests will fail with "Discarded more inputs (0) than allowed" error message.

This calculation will result in 0 for minimumSuccessful = 10 and the rest of the values being left as defaults.