Skip to content

GenObj[T: T]

[Source]

Pure function of a Randomness source that produces a random value. The framework records every random decision during generation, then replays generators against mutated decision sequences to produce shrunk values.

trait box GenObj[T: T]

Public Functions

generate

[Source]

Produce a random value from the given source of randomness.

fun box generate(
  rnd: Randomness ref)
: T^ ?

Parameters

Returns

  • T^ ?