simon.vergauwen
12/01/2020, 7:57 PMArb
with frequencies like `Arb.choose` which takes into account all the edgecases of all provided Arb
? I just encountered a bug that was happening on an edgecase value but it only arises when I raise iterations to 100K or so, using the following Arb.sam
12/01/2020, 8:02 PMLeoColman
12/01/2020, 8:05 PMarb.choose().plusEdgeCases
or something like that?sam
12/01/2020, 8:05 PMsimon.vergauwen
12/01/2020, 8:14 PMplusEdgeCases
yet, but that could work for me now 🙂Exhaustive
then.mitch
12/05/2020, 10:50 AMArb.choice
currently takes into account the edgecases of the input arbs however none of the others do. Imo it's the right thing for us to collate the edgecases. Maybe this is something we can address
https://github.com/kotest/kotest/blob/f48822058eedcb6b5a677a5287fd36115de291e4/kotest-property/src/commonMain/kotlin/io/kotest/property/arbitrary/combinations.ktsam
12/05/2020, 1:15 PMmitch
12/05/2020, 8:48 PMsimon.vergauwen
12/07/2020, 8:38 AM