In property based tests, when I set `kotest.propte...

# kotest

[kopper]

In property based tests, when I set kotest.proptest.default.iteration.count to something low, e.g. 1 , plenty of my tests fails because computeDefaultIteration provides 1 for arbs with edgecases where minIterations > 1. Is this a bug or there's logic behind this? Right now computeDefaultIteration explicitly supports only Exhaustive https://github.com/kotest/kotest/blob/master/kotest-property/src/commonMain/kotlin/io/kotest/property/config.kt#L17

[sam]

Can you clarify this a bit for me. You set min default to 1, and then you're saying it stays at 1, even if the arb has minimum iterations higher ?

[kopper]

I use checkAll with no iteration count which uses computeDefaultIteration . When I set kotest.proptest.default.iteration.count= 1 all tests using Arbs fail because edge cases are not included in the computeDefaultIteration yet checkAll requires number of iteration to be >= minIterations.

[sam]

I see, so it never advances up from 1

[sam]

and then 1 isn't enough to run the test

[sam]

https://github.com/kotest/kotest/issues/1935

[sam]

I'll fix now

[kopper]

yes, so I have to manually set checkAll(minForThatTest)

[kopper]

fantastic, I can raise a PR tomorrow if you are busy

[sam]

yeah that's annoying

[sam]

It's 5am I'm just chilling, I can do it 🙂

[kopper]

lol

[kopper]

10pm here

[sam]

australia ?

[kopper]

unchilling

[kopper]

yeah

[sam]

g'day

[sam]

I bet you hate it when people say that

[sam]

I'm from the UK so you can call me a dirty pom

[kopper]

not really cause I am not a citizen yet

[sam]

ah

[kopper]

dirty pom lol, I had too much Maven today

[sam]

I see you're from KRK

[sam]

I work with a bunch of guys from KRK

[sam]

I wonder if a max iteration count is useful, to stop tests going insane, if you had loads of edgecases

[kopper]

I guess once from KRK forever from KRK

[kopper]

well you can have edgecases that you need to test and edgecases that you want to test

[kopper]

the latter is sample

[sam]

are you an android guy

[kopper]

yeah

[kopper]

just got Pixel 5 this week

[sam]

sorry, I mean do you write android apps at atlassian

[kopper]

no

[kopper]

backend services

[sam]

Ah ok. Was just looking for some android help 🙂

[kopper]

well I know Android guys but looks like I am not one of them 😆

[kopper]

ok, thanks for your help, time for me to go 😴

[sam]

good night

[kopper]

just in case - enjoy your holidays and have a great New Year!

[sam]

same to you