This directory contains test cases to verify functionality.
# Simple
A test for simple replication. Change initial state by master, check whether
state replicated to Slave.
# SlaveUpdates
Can Slaves request Updates successfully?
Do they also get the transaction result (not only updated state)?
Do Master and other Slaves get the update?
# CRCFail
For diverged state the CRC check must fail (unless Checkpoints were replicated).
# CheckpointSync
A diverged state must be the same after sync-replicating a Checkpoint (i.e.
Slave joins only after generating the checkpoint).
# OrderingRandom
It is essential to keep ordering of events identical on all nodes. This test
applies a non-commutative operation on the state to check this behaviour.
# NReplication
Test for the redundant operation mode. An Update shall only be accepted as soon
as enough Slaves joined.
# UpdateError
Updates containing 'error's are should fail when being scheduled.
# SyncTimeout
If there is no Master, synchronization is to time out.
# Extended
Some extended test cases not usually run by 'cabal test' as they require more
time and/or special precautions.
## ConnectionLoss
Simulates one Slave connected to one Master, losing the network connection.
This is achieved using iptables, invoked via sudo.
## BigSuite