Unlock 30% off on Manual Testing Annual Plans this Holiday Season.

Copied to Clipboard!

How to use randoms class of io.kotest.property package

Best Kotest code snippet using io.kotest.property.randoms

FBSTreeIMCollectionTest.kt

Source:FBSTreeIMCollectionTest.kt

...274      val values = Array(n) { i: Int -> TKVEntry.ofkk(i, i) }275      val shuffled = Array(n) { i: Int -> TKVEntry.ofkk(i, i) }276      val rs = RandomSource.seeded(7979028980642872582)277      shuffled.shuffle(rs.random)278      val randoms = IntArray((n/10).coerceAtLeast(3)) { i: Int -> i }279      randoms.shuffle(rs.random)280      val ix1 = randoms[0]281      val ix2 = randoms[1]282      val ix3 = randoms[2]283      val fbsTree = FBSTree.of(shuffled.iterator())284      val aux0 = fbsTree.fdropItem(TKVEntry.ofIntKey(ix1))285      if (11 == count)286        println("from test file< count=$count")287      val aux1 = aux0.fdropItem(TKVEntry.ofIntKey(ix2))288      val aut = aux1.fdropItem(TKVEntry.ofIntKey(ix3))289      aut.size shouldBe n - 3290      FBSTree.fbtAssertNodeInvariant(aut as FBSTNode<Int, Int>)291      val testOracle = FList.of(values.iterator())292        .ffilterNot { it == TKVEntry.ofIntKey(ix1) }293        .ffilterNot { it == TKVEntry.ofIntKey(ix2) }294        .ffilterNot { it == TKVEntry.ofIntKey(ix3) }295      val autInorder = aut.inorder()296      autInorder shouldBe testOracle...

FRBTreeIMCollectionTest.kt

Source:FRBTreeIMCollectionTest.kt

...305      val values = Array(n) { i: Int -> TKVEntry.ofkk(i, i) }306      val shuffled = Array(n) { i: Int -> TKVEntry.ofkk(i, i) }307      val rs = RandomSource.seeded(7979028980642872582)308      shuffled.shuffle(rs.random)309      val randoms = IntArray(n/10) { i: Int -> i }310      randoms.shuffle(rs.random)311      val ix1 = randoms[0]312      val ix2 = randoms[1]313      val ix3 = randoms[2]314      val frbTree = FRBTree.of(shuffled.iterator())315      val aux0 = frbTree.fdropItem(TKVEntry.ofIntKey(ix1))316      val aux1 = aux0.fdropItem(TKVEntry.ofIntKey(ix2))317      val aut = aux1.fdropItem(TKVEntry.ofIntKey(ix3))318      aut.size shouldBe n - 3319      FRBTree.rbRootInvariant(aut) shouldBe true320      val testOracle = FList.of(values.iterator())321        .ffilterNot { it == TKVEntry.ofIntKey(ix1) }322        .ffilterNot { it == TKVEntry.ofIntKey(ix2) }323        .ffilterNot { it == TKVEntry.ofIntKey(ix3) }324      val autInorder = aut.inorder()325      autInorder shouldBe testOracle326      goDropItemTele(aut, aut.breadthFirst(), autInorder)327    }...

SeedTest.kt

Source:SeedTest.kt

...14import io.kotest.property.checkAll15import io.kotest.property.forAll16import io.kotest.property.random17class SeedTest : FunSpec({18   test("fixed seeds should result in consistent randoms") {19      checkAll(Arb.long()) { seed ->20         Arb.int().single(seed.random()) shouldBe Arb.int().single(seed.random())21         Arb.long().single(seed.random()) shouldBe Arb.long().single(seed.random())22         Arb.string().single(seed.random()) shouldBe Arb.string().single(seed.random())23         Arb.boolean().single(seed.random()) shouldBe Arb.boolean().single(seed.random())24      }25   }26   test("should use random seed by default") {27      // allow some failures for edge cases28      checkAll<Long, Long>(config = PropTestConfig(maxFailure = 5, minSuccess = 995)) { a, b ->29         a shouldNotBe b30      }31   }32   test("failed test should print seed") {...

IntsTest.kt

Source:IntsTest.kt

1package it.twinsbrains.fpik.chapter62import arrow.mtl.run3import io.kotest.core.spec.style.StringSpec4import io.kotest.property.forAll5import it.twinsbrains.fpik.chapter3.List.Companion.length6import it.twinsbrains.fpik.chapter6.RandExamples.intsR7import it.twinsbrains.fpik.chapter6.Randoms.ints8import it.twinsbrains.fpik.chapter6.LinearCongruentialGenerator as SimpleRNG9class IntsTest : StringSpec() {10    init {11        "random ints" {12            forAll<Long> { seed ->13                val n = 10014                val (list, _) = ints(n, SimpleRNG(seed))15                length(list) == n16            }17        }18        "random intsR" {19            forAll<Long> { seed ->20                val n = 10021                val (list, _) = intsR(n).run(SimpleRNG(seed))22                list.size == n23            }24        }25        "random ints with arrow State Monad" {26            forAll<Long> { seed ->27                val n = 10028                val (_, list) = ArrowStateMonad.ints(n).run(SimpleRNG(seed))29                list.size == n30            }31        }32    }33}...

RandomsDoublesTest.kt

Source:RandomsDoublesTest.kt

1package it.twinsbrains.fpik.chapter62import io.kotest.core.spec.style.StringSpec3import io.kotest.property.forAll4import it.twinsbrains.fpik.chapter6.Randoms.double5import it.twinsbrains.fpik.chapter6.LinearCongruentialGenerator as SimpleRNG6class RandomsDoublesTest : StringSpec() {7    init {8        "doubles should be in [0,1)"{9            forAll<Long> { seed ->10                val (num, _) = double(SimpleRNG(seed))11                num >= 0 && num < 112            }13        }14        "doubles as Rand should also be in [0,1)"{15            forAll<Long> { seed ->16                val (num, _) = RandExamples.doubleR.run(SimpleRNG(seed))17                num >= 0 && num < 118            }19        }20    }21}...

NonNegativeIntsTest.kt

Source:NonNegativeIntsTest.kt

1package it.twinsbrains.fpik.chapter62import io.kotest.core.spec.style.StringSpec3import io.kotest.property.forAll4import it.twinsbrains.fpik.chapter6.Randoms.nonNegativeInt5import it.twinsbrains.fpik.chapter6.LinearCongruentialGenerator as SimpleRNG6class NonNegativeIntsTest : StringSpec() {7    init {8        "no elements less than 0" {9            forAll<Long> { seed ->10                nonNegativeInt(SimpleRNG(seed)).first >= 011            }12        }13        "no elements greater than Integer.MAX_VALUE" {14            forAll<Long> { seed ->15                nonNegativeInt(SimpleRNG(seed)).first < Integer.MAX_VALUE16            }17        }18    }19}...

randoms

Using AI Code Generation

1        val random = RandomSource.default()2        val randoms = Randoms(random)3        val randomInt = randoms.random.int()4        val randomLong = randoms.random.long()5        val randomDouble = randoms.random.double()6        val randomFloat = randoms.random.float()7        val randomBoolean = randoms.random.boolean()8        val randomString = randoms.random.string()9        val randomChar = randoms.random.char()10        val randomByte = randoms.random.byte()11        val randomShort = randoms.random.short()12        val randomBigInteger = randoms.random.bigInteger()13        val randomBigDecimal = randoms.random.bigDecimal()14        val randomStringList = randoms.random.list(10) { randoms.random.string() }15        val randomIntList = randoms.random.list(10) { randoms.random.int() }16        val randomLongList = randoms.random.list(10) { randoms.random.long() }17        val randomDoubleList = randoms.random.list(10) { randoms.random.double() }18        val randomFloatList = randoms.random.list(10) { randoms.random.float() }19        val randomBooleanList = randoms.random.list(10) { randoms.random.boolean() }20        val randomCharList = randoms.random.list(10) { randoms.random.char() }21        val randomByteList = randoms.random.list(10) { randoms.random.byte() }22        val randomShortList = randoms.random.list(10) { randoms.random.short() }23        val randomBigIntegerList = randoms.random.list(10) { randoms.random.bigInteger() }24        val randomBigDecimalList = randoms.random.list(10) { randoms.random.bigDecimal() }25        val randomIntRange = randoms.random.int(1..100)26        val randomLongRange = randoms.random.long(1L..100L)27        val randomDoubleRange = randoms.random.double(1.0..100.0)28        val randomFloatRange = randoms.random.float(1f..100f)29        val randomByteRange = randoms.random.byte(1.toByte()..100.toByte())30        val randomShortRange = randoms.random.short(1.toShort()..100.toShort())31        val randomBigIntegerRange = randoms.random.bigInteger(BigInteger.ONE..BigInteger.TEN)32        val randomBigDecimalRange = randoms.random.bigDecimal(BigDecimal.ONE..BigDecimal.TEN)

randoms

Using AI Code Generation

1    val gen = Gen.int()2    val prop = forAll(gen) { x ->3    }4    prop.check(1000)5    val prop = forAll<Int> { x ->6    }7    prop.check(1000)

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.