How to use attempts method of io.kotest.property.PropertyContext class

Best Kotest code snippet using io.kotest.property.PropertyContext.attempts

test.kt

Source:test.kt

...68         }69      }70      println()71      writeFailedSeedIfEnabled(seed)72      throwPropertyTestAssertionError(shrinkfn(), e, context.attempts(), seed)73   } else if (context.failures() > config.maxFailure) {74      var error = "Property failed ${context.failures()} times (maxFailure rate was ${config.maxFailure})\n"75      error += "Last error was caused by args:\n"76      inputs.withIndex().forEach { (index, value) ->77         error += "  $index) ${value.print().value}\n"78      }79      writeFailedSeedIfEnabled(seed)80      throwPropertyTestAssertionError(shrinkfn(), AssertionError(error), context.attempts(), seed)81   }82}...

context.kt

Source:context.kt

...15      failures++16   }17   fun successes() = successes18   fun failures() = failures19   fun attempts(): Int = successes + failures20   fun classifications(): Map<String, Int> = classifications.toMap()21   fun autoclassifications(): Map<String, Map<String, Int>> = autoclassifications.toMap()22   /**23    * Increase the count of [label].24    */25   fun classify(label: String) {26      val current = classifications.getOrElse(label) { 0 }27      classifications[label] = current + 128   }29   fun classify(input: Int, label: String) {30      val current = autoclassifications.getOrPut(input.toString()) { mutableMapOf() }31      val count = current[label] ?: 032      current[label] = count + 133      autoclassifications[input.toString()]...

coverage.kt

Source:coverage.kt

...16 */17suspend fun checkCoverage(label: String, percentage: Double, f: suspend () -> PropertyContext): PropertyContext {18   val context = f()19   val labelled = context.classifications()[label] ?: 020   val attempts = context.attempts()21   val actual = (labelled.toDouble() / attempts.toDouble()) * 100.022   if (actual < percentage)23      fail("Property test required coverage of $percentage% for [$label] but was [${actual.toInt()}%]")24   return context25}26/**27 * Asserts more than one label coverage at once.28 *29 *  Example, checks that we had at least 25% "even" and 25% "odd" iterations.30 *31 *       checkCoverage("even" to 25.0, "odd" to 25.0) {32 *          forAll(Arb.int()) { a ->33 *             classify(a % 2 == 0, "even", "odd")34 *             a + a == 2 * a35 *          }36 *       }37 */38suspend fun checkCoverage(vararg pairs: Pair<String, Double>, f: suspend () -> PropertyContext): PropertyContext {39   val context = f()40   val coverage = pairs.toMap()41   val attempts = context.attempts()42   context.classifications().forEach { (label, count) ->43      val actual = (count.toDouble() / attempts.toDouble()) * 100.044      val required = coverage[label] ?: 0.045      if (actual < required)46         fail("Property test required coverage of $required% for [$label] but was [${actual.toInt()}%]")47   }48   return context49}...

checks.kt

Source:checks.kt

...7   if (seed != null && PropertyTesting.failOnSeed)8      error("A seed is specified on this property-test and failOnSeed is true")9}10fun PropertyContext.checkMaxSuccess(config: PropTestConfig, seed: Long) {11   val min = min(config.minSuccess, attempts())12   if (successes() < min) {13      val error = "Property passed ${successes()} times (minSuccess rate was $min)\n"14      throwPropertyTestAssertionError(AssertionError(error), attempts(), seed)15   }16}...

output.kt

Source:output.kt

...4import io.kotest.property.PropertyResult5import io.kotest.property.PropertyTesting6fun PropertyContext.outputClassifications(inputs: Int, config: PropTestConfig, seed: Long) {7   val result =8      PropertyResult(List(inputs) { it.toString() }, seed, attempts(), successes(), failures(), autoclassifications())9   if (config.outputClassifications) config.labelsReporter.output(result)10}...

attempts

Using AI Code Generation

1        property("addition should be commutative") {2            forAll { a: Int, b: Int ->3            }4        }5    }6}

attempts

Using AI Code Generation

1}2}3}4}5}6}7}

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.