Sadly I don’t think something like `MinSize` is po...

# kotest

[simon.vergauwen]

Sadly I don’t think something like MinSize 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]

By stress are you wanting to chang the number of tests basically, depending on env ?

[simon.vergauwen]

Yes, I’d like to configure iterations for checkAll 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.

[simon.vergauwen]

Without killing my local dev machine or free CI 😄

[sam]

There is support for iterations and minSuccess and maxFailures. You could set the iteration count via a sys prop ?

[sam]

Or set it but have a default

[simon.vergauwen]

Oh I must have missed that.

[sam]

There's several overloads on checkAll. One takes iterations, another takes iterations and PropTestConfig

[sam]

data 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()
)

[sam]

that should have all the options you need

[simon.vergauwen]

Yes, I should be able to find my way through that! Thanks.

[simon.vergauwen]

I’ll share the test suites as soon as I publicly PR them. I also have Arb for Array etc which we might want to PR upstream to kotest

[sam]

Yes please that would be great