simon.vergauwen
06/11/2020, 12:09 PMMinSize
is possible for Arb<List<A>>
etc, which is also what I’m looking for in combination with minSuccessful
. This way I could easily reduce the stress of the test suite depending on where it runs, or depending on what platform it runs when moving to MPP.sam
06/11/2020, 6:54 PMsimon.vergauwen
06/11/2020, 6:55 PMcheckAll
and potentially also depth of Arb.list
or similar. I’m writing property based tests for the new Arrow streaming library, and controlling depth and iterations allows for a much more powerful test suite.sam
06/11/2020, 6:56 PMsimon.vergauwen
06/11/2020, 6:57 PMsam
06/11/2020, 6:57 PMdata class PropTestConfig(
val seed: Long? = null,
val minSuccess: Int = Int.MAX_VALUE,
val maxFailure: Int = 0,
val shrinkingMode: ShrinkingMode = ShrinkingMode.Bounded(1000),
val iterations: Int? = null,
val listeners: List<PropTestListener> = listOf()
)
simon.vergauwen
06/11/2020, 6:58 PMArb
for Array
etc which we might want to PR upstream to kotestsam
06/11/2020, 6:59 PM