class StateRefGenerator : Generator<StateRef>
<init> |
StateRefGenerator() |
generate |
fun generate(random: SourceOfRandomness, status: GenerationStatus): StateRef |
generateList |
fun <A> Generator<A>.generateList(random: SourceOfRandomness, status: GenerationStatus): List<A>
Generators for quickcheck |