Property-based testing with jqwik and Kotlin <https://youtu.be/xgDPvlgUSLE>

# test

[dmcg]

Property-based testing with jqwik and Kotlin

https://youtu.be/xgDPvlgUSLE▾

[dave08]

Nice example of property-testing! But really I personally like this better than jqwik's annotations and generator functions:

forAll(<http://Arb.int|Arb.int>(21..150)) { a ->
         isDrinkingAge(a) // assuming some function that calculates if we're old enough to drink
      }

from: https://kotest.io/docs/proptest/property-test-functions.html#specifying-generators

[dmcg]

The annotations are a bit irritating it’s true. How have you found kotest’s shrinking @dave08?

[dave08]

I can't say I've analysed them in-depth, but they seem to be reasonable.