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

Copied to Clipboard!

How to use ShrinkingMode.isShrinking method of io.kotest.property.internal.Counter class

Best Kotest code snippet using io.kotest.property.internal.Counter.ShrinkingMode.isShrinking

shrink.kt

Source:shrink.kt

1package io.kotest.property.internal2import io.kotest.assertions.print.print3import io.kotest.mpp.stacktraces4import io.kotest.property.PropertyTesting5import io.kotest.property.RTree6import io.kotest.property.ShrinkingMode7import io.kotest.property.isEmpty8/**9 * Accepts a value of type A and a function that varies in type A (fixed in any other types) and attempts10 * to shrink the value to find the smallest failing case.11 *12 * For each step in the shrinker, we test all the values. If they all pass then the shrinking ends.13 * Otherwise, the next batch is taken and the shrinks continue.14 *15 * Once all values from a shrink step pass, we return the previous value as the "smallest" failing case16 * along with the reason for the failure.17 *18 */19suspend fun <A> doShrinking(20   initial: RTree<A>,21   mode: ShrinkingMode,22   test: suspend (A) -> Unit23): ShrinkResult<A> {24   if (initial.isEmpty()) return ShrinkResult(initial.value(), initial.value(), null)25   val counter = Counter()26   val tested = mutableSetOf<A>()27   val sb = StringBuilder()28   sb.append("Attempting to shrink arg ${initial.value().print().value}\n")29   val stepResult = doStep(initial, mode, tested, counter, test, sb)30   result(sb, stepResult, counter.count)31   return if (stepResult == null) {32      ShrinkResult(initial.value(), initial.value(), null)33   } else {34      ShrinkResult(initial.value(), stepResult.failed, stepResult.cause)35   }36}37class Counter {38   var count = 039   fun inc() = count++40}41/**42 * The result of shrinking a failed arg.43 * If no shrinking took place, shrink should be set to the same as iniital44 */45data class ShrinkResult<out A>(val initial: A, val shrink: A, val cause: Throwable?)46data class StepResult<A>(val failed: A, val cause: Throwable)47/**48 * Performs shrinking on the given RTree. Recurses into the tree for failing cases.49 * Returns the last candidate to fail as a [StepResult] or null if the initial passes.50 */51suspend fun <A> doStep(52   tree: RTree<A>,53   mode: ShrinkingMode,54   tested: MutableSet<A>,55   counter: Counter,56   test: suspend (A) -> Unit,57   sb: StringBuilder58): StepResult<A>? {59   // if no more shrinking return null (if we've hit the bounds)60   if (!mode.isShrinking(counter.count)) return null61   val candidates = tree.children.value62   candidates.asSequence()63      // shrinkers might generate duplicate candidates so we must filter them out to avoid infinite loops or slow shrinking64      .filter { tested.add(it.value()) }65      .forEach { a ->66         val candidate = a.value()67         counter.inc()68         try {69            test(candidate)70            if (PropertyTesting.shouldPrintShrinkSteps)71               sb.append("Shrink #${counter.count}: ${candidate.print().value} pass\n")72         } catch (t: Throwable) {73            if (PropertyTesting.shouldPrintShrinkSteps)74               sb.append("Shrink #${counter.count}: ${candidate.print().value} fail\n")75            // this result failed, so we'll recurse in to find further failures otherwise return this candidate76            return doStep(a, mode, tested, counter, test, sb) ?: StepResult(candidate, t)77         }78      }79   return null80}81/**82 * Returns true if we should continue shrinking given the count.83 */84private fun ShrinkingMode.isShrinking(count: Int): Boolean = when (this) {85   ShrinkingMode.Off -> false86   ShrinkingMode.Unbounded -> true87   is ShrinkingMode.Bounded -> count < bound88}89private fun <A> result(sb: StringBuilder, result: StepResult<A>?, count: Int) {90   if (count == 0 || result == null) {91      sb.append("Arg was not shunk\n")92   } else {93      sb.append("Shrink result (after $count shrinks) => ${result.failed.print().value}\n\n")94      when (val location = stacktraces.throwableLocation(result.cause, 4)) {95         null -> sb.append("Caused by ${result.cause}\n")96         else -> {97            sb.append("Caused by ${result.cause} at\n")98            location.forEach { sb.append("\t$it\n") }99         }100      }101   }102   if (PropertyTesting.shouldPrintShrinkSteps) {103      println(sb)104   }105}...

ShrinkingMode.isShrinking

Using AI Code Generation

1import io.kotest.property.ShrinkingMode2import io.kotest.property.internal.Counter3fun main() {4    val counter = Counter()5    println(counter.isShrinking())6    counter.increment()7    println(counter.isShrinking())8    counter.increment()9    println(counter.isShrinking())10    counter.increment()11    println(counter.isShrinking())12}

ShrinkingMode.isShrinking

Using AI Code Generation

1import io.kotest.property.internal.Counter2fun main() {3    val counter = Counter()4    counter.increment()5    println(counter.isShrinking)6}7import io.kotest.property.internal.Counter8fun main() {9    val counter = Counter()10    counter.increment()11    counter.increment()12    println(counter.isShrinking)13}14import io.kotest.property.internal.Counter15fun main() {16    val counter = Counter()17    counter.increment()18    counter.increment()19    counter.increment()20    println(counter.isShrinking)21}22import io.kotest.property.internal.Counter23fun main() {24    val counter = Counter()25    counter.increment()26    counter.increment()27    counter.increment()28    counter.increment()29    println(counter.isShrinking)30}31import io.kotest.property.internal.Counter32fun main() {33    val counter = Counter()34    counter.increment()35    counter.increment()36    counter.increment()37    counter.increment()38    counter.increment()39    println(counter.isShrinking)40}41import io.kotest.property.internal.Counter42fun main() {43    val counter = Counter()44    counter.increment()45    counter.increment()46    counter.increment()47    counter.increment()48    counter.increment()49    counter.increment()50    println(counter.isShrinking)51}52import io.kotest.property.internal.Counter53fun main() {54    val counter = Counter()55    counter.increment()56    counter.increment()57    counter.increment()58    counter.increment()59    counter.increment()60    counter.increment()61    counter.increment()62    println(counter.isShrinking)63}64import

ShrinkingMode.isShrinking

Using AI Code Generation

1inline fun <reified T : Throwable> assertFailsWith (2block: () -> Unit3assertFailsWith(T::class, message, block)4inline fun <reified T : Throwable> assertFailsWith (5block: () -> Unit6assertFailsWith(T::class, block)7fun <T : Throwable> assertFailsWith (8block: () -> Unit9try {10block()11fail("Expected an exception to be thrown, but was completed successfully.")12} catch (actual: Throwable) {13if (actual is AssertionFailedError)14if (actual::class != expected)15fail("Expected an exception of type ${expected.simpleName}, but was ${actual::class.simpleName}.")16if (message != null && actual.message != message)17fail("Expected an exception with message \"$message\", but was \"${actual.message}\".")18@Suppress("UNCHECKED_CAST")19}20fun <T> fail (message: String? = null): T =21if (message != null) throw AssertionFailedError(message) else throw AssertionFailedError()22fun failNotEquals (23fail(24if (message != null) "$message expected: <$expected> but was: <$actual>"25fun failNotEquals (26fail(27if (message != null) "$message expected: <$expected> but was: <$actual>"28fun failNotEquals (29fail(30if (message != null) "$message expected: <$expected> but was: <$actual>"31fun failNotEquals (32fail(

ShrinkingMode.isShrinking

Using AI Code Generation

1fun `isShrinking method of io.kotest.property.internal.Counter class should return true if the property is shrinking`(2    @ForAll("ints") a: Int,3    @ForAll("ints") b: Int4) {5    val counter = Counter()6    val property = forAll(Gen.int(), Gen.int()) { x: Int, y: Int ->7        counter.inc()8    }9    property.check()10}11fun `isShrinking method of io.kotest.property.internal.Counter class should return false if the property is not shrinking`(12    @ForAll("ints") a: Int,13    @ForAll("ints") b: Int14) {15    val counter = Counter()16    val property = forAll(Gen.int(), Gen.int()) { x: Int, y: Int ->17        counter.inc()18    }19    property.check()20}21fun `isShrinking method of io.kotest.property.internal.Counter class should return true if the property is shrinking`(22    @ForAll("ints") a: Int,23    @ForAll("ints") b: Int24) {25    val counter = Counter()26    val property = forAll(Gen.int(), Gen.int()) { x: Int, y: Int ->27        counter.inc()28    }29    property.check()30}31fun `isShrinking method of io.kotest.property.internal.Counter class should return false if the property is not shrinking`(32    @ForAll("ints") a: Int,33    @ForAll("ints") b: Int34) {35    val counter = Counter()36    val property = forAll(Gen.int(), Gen.int()) { x: Int, y: Int ->37        counter.inc()38    }39    property.check()40}

ShrinkingMode.isShrinking

Using AI Code Generation

1val counter = Counter()2val result = counter.increment().increment().decrement().increment().decrement().decrement()3counter.isShrinking() shouldBe true4val counter = Counter()5val result = counter.increment().increment().increment().increment().increment().increment()6counter.isShrinking() shouldBe false7val counter = Counter()8val result = counter.increment().increment().increment().increment().increment().increment()9counter.isShrinking() shouldBe false10val counter = Counter()11val result = counter.increment().increment().increment().increment().increment().increment()12counter.isShrinking() shouldBe false13val counter = Counter()14val result = counter.increment().increment().increment().increment().increment().increment()15counter.isShrinking() shouldBe false16val counter = Counter()17val result = counter.increment().increment().increment().increment().increment().increment()18counter.isShrinking() shouldBe false19val counter = Counter()20val result = counter.increment().increment().increment().increment().increment().increment()21counter.isShrinking() shouldBe false22val counter = Counter()23val result = counter.increment().increment().increment().increment().increment().increment()

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.