kuilt-conformance/us.tractat.kuilt.conformance.convergence

Package-level declarations

Types

class CrdtConvergenceHarness<S : Quilted<S>>(val initial: S, val gen: OperationGenerator<S>, val replicaCount: Int = 3, val opsPerReplica: Int = 8)

Drives replicaCount replicas (default 3) through opsPerReplica random operations distributed across them, then merges in every possible pairwise order and asserts all replicas converge to the same value.

CrdtConvergenceSuite

abstract class CrdtConvergenceSuite<S : Quilted<S>>

Sibling to us.tractat.kuilt.conformance.QuiltedConformanceSuite. Subclass and implement newHarness to bind a CRDT type.

OperationGenerator

fun interface OperationGenerator<S>

Strategy for generating an operation against a model state, producing the next state.