Input

data class Input(val seed: Long, val iterations: List<Long>)(source)

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.

Constructors

Link copied to clipboard
constructor(seed: Long, vararg iter: Long)
constructor(seed: Long, iter: LongRange)
constructor(seed: Long, iterations: List<Long>)

Properties

Link copied to clipboard
Link copied to clipboard
val seed: Long