Package-level declarations

Types

Link copied to clipboard
value class Cases

Property-layer replay selector: the recorded cases to re-run, pasted as replay = Cases(seed = 1L, iter = 2L). The flat (seed, iteration) form covers the common single-case paste; use Cases(Input(...), Input(...)) for several seeds at once, or the (seed, iterations) vararg / range forms for several iterations of one seed.

Link copied to clipboard
sealed interface CompactConcurrency
Link copied to clipboard
data class CompactConfig
Link copied to clipboard
Link copied to clipboard
sealed interface CompactReport
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
data class DataLayerConfig
Link copied to clipboard
Link copied to clipboard
sealed interface ExecutionMode
Link copied to clipboard
value class Indexes

Data-layer replay selector: the case indexes to re-run, pasted from a failure report as replay = Indexes(3L). Construct from explicit indexes (Indexes(0L, 2L)) or a range (Indexes(0L..9L)).

Link copied to clipboard
sealed interface Indicator
Link copied to clipboard
data class Input(val seed: Long, val iterations: List<Long>)

One recorded property case to reproduce, copied from a failure's replay report. seed and iterations always travel together — iteration indexes only reproduce values relative to the seed that generated them, so they cannot be set independently.

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
sealed interface MatrixScope<SELF : MatrixScope<SELF>>

Common surface shared by the real-tree MatrixSuiteScope and the virtual CompactScope. The data / property overloads below build a kind-neutral LayerSpec and hand it to dispatchContainer / dispatchTerminal, which route to the right scope's registration primitive (registerLayer / addLayer). So the public overloads live in exactly one place instead of being duplicated across the two scopes.

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
annotation class MatrixTestDsl
Link copied to clipboard
typealias NameFn<T> = (index: Long, value: T) -> String
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
Link copied to clipboard

Builds a reusable matrix configuration value to pass to test / testSuite (and their FreeSpec "name"(…) forms), e.g. testSuite("group", matrixConfig { execution = ExecutionMode.Concurrent(4) }) { … }. Unset fields inherit the enclosing matrix scope. testConfig is one of the fields, so this also carries aroundAll / aroundEach / context.

Link copied to clipboard
fun matrixSuite(config: MatrixSuiteConfigBuilder = matrixConfig {}, propertyName: String = "", body: MatrixSuiteScope.() -> Unit): <Error class: unknown class>

Declares a top-level matrix test suite.

Link copied to clipboard
fun <Error class: unknown class>.MatrixTestDefaults(config: MatrixSuiteConfigBuilder.() -> Unit)