xotl.crdt.testing.counters – Testing counters

Create the rule-based machines to test GCounter and PNCounter.

class xotl.crdt.testing.counters.GCounterMachine

The stateful machinery for GCounter.

class xotl.crdt.testing.counters.PNCounterMachine

The stateful machinery for PNCounter.