dave08
05/19/2021, 10:49 AMsam
05/19/2021, 11:40 AMdave08
05/19/2021, 11:40 AMsam
05/19/2021, 11:51 AMmitch
05/19/2021, 12:50 PMArb.list(
arbInput, // the input arb
50..100 // take 50..100 randomly
).flatMap { randomSample ->
Arb.of(randomSample.distinctBy { ... })
}
dave08
05/19/2021, 12:52 PMmitch
05/19/2021, 12:55 PMdave08
05/19/2021, 1:23 PMdistinct
param on <http://Arb.int|Arb.int>()
might be useful though, if that's a solution...sam
05/19/2021, 1:28 PMdave08
05/19/2021, 1:29 PMsam
05/19/2021, 2:00 PM