Package-level declarations
Types
Link copied to clipboard
data class ConfiguredPropertyScope<Value>(compactName: String?, val testSuite: TestSuite, val iterations: Int, val genA: Gen<Value>, val testConfig: TestConfig = TestConfig)
Link copied to clipboard
object PropertyTest
Global knobs to tweak the behavior of DataTest Addon
Functions
Link copied to clipboard
inline fun <A> TestSuite.checkAll(genA: Gen<A>, compact: Boolean = PropertyTest.compactByDefault, testConfig: TestConfig = TestConfig): ConfiguredPropertyScope<A>
Creates a configured property scope for property-based testing using default iteration count.
inline fun <Value> TestSuite.checkAll(genA: Gen<Value>, compact: Boolean = PropertyTest.compactByDefault, testConfig: TestConfig = TestConfig, crossinline content: suspend PropertyContext.(TestExecutionScope, Value) -> Unit)
inline fun <Value> TestSuite.checkAll(iterations: Int, genA: Gen<Value>, compact: Boolean = PropertyTest.compactByDefault, testConfig: TestConfig = TestConfig, crossinline content: suspend PropertyContext.(TestExecutionScope, Value) -> Unit)
Executes property-based tests with generated values.
inline fun <Value> TestSuite.checkAll(iterations: Int, genA: Gen<Value>, compact: Boolean = PropertyTest.compactByDefault, testConfig: TestConfig = TestConfig): ConfiguredPropertyScope<Value>
Creates a configured property scope for property-based testing with specified iterations.
Link copied to clipboard
inline fun <A> TestSuite.checkAllSuites(genA: Gen<A>, compact: Boolean = PropertyTest.compactByDefault, testConfig: TestConfig = TestConfig, noinline content: PropertyContext.(TestSuite, A) -> Unit)
Creates test suites for property-based testing using default iteration count.
inline fun <Value> TestSuite.checkAllSuites(iterations: Int, genA: Gen<Value>, compact: Boolean = PropertyTest.compactByDefault, testConfig: TestConfig = TestConfig, crossinline content: PropertyContext.(TestSuite, Value) -> Unit)
Creates test suites for property-based testing with specified iterations.
Link copied to clipboard