Package-level declarations

Types

Link copied to clipboard
class ConfiguredPropertyScope<Value>(compact: Boolean, maxLength: Int, val prefix: String, val testSuite: TestSuiteScope, val iterations: Int, val genA: Gen<Value>, val testConfig: TestConfig = TestConfig)
Link copied to clipboard

Global knobs to tweak the behavior of PropertyTest Addon

Functions

Link copied to clipboard
fun <A> TestSuiteScope.checkAll(genA: Gen<A>, compact: Boolean = PropertyTest.compactByDefault, maxLength: Int = PropertyTest.defaultTestNameMaxLength!!, prefix: String = "", testConfig: TestConfig = TestConfig): ConfiguredPropertyScope<A>

Creates a configured property scope for property-based testing using default iteration count.

fun <Value> TestSuiteScope.checkAll(iterations: Int, genA: Gen<Value>, compact: Boolean = PropertyTest.compactByDefault, maxLength: Int = PropertyTest.defaultTestNameMaxLength!!, prefix: String = "", testConfig: TestConfig = TestConfig): ConfiguredPropertyScope<Value>

Creates a configured property scope for property-based testing with specified iterations.

fun <Value> TestSuiteScope.checkAll(genA: Gen<Value>, compact: Boolean = PropertyTest.compactByDefault, maxLength: Int = PropertyTest.defaultTestNameMaxLength!!, prefix: String = "", testConfig: TestConfig = TestConfig, suppressCompactSuccesses: Boolean? = null, compactConcurrent: Boolean? = null, content: suspend PropertyContext.(Test.ExecutionScope, Value) -> Unit)
fun <Value> TestSuiteScope.checkAll(iterations: Int, genA: Gen<Value>, compact: Boolean = PropertyTest.compactByDefault, maxLength: Int = PropertyTest.defaultTestNameMaxLength!!, prefix: String = "", testConfig: TestConfig = TestConfig, suppressCompactSuccesses: Boolean? = null, compactConcurrent: Boolean? = null, content: suspend PropertyContext.(Test.ExecutionScope, Value) -> Unit)

Executes property-based tests with generated values.