I'm looking for ideas when writing tests for a consensus algorithm implementation to verify various properties of the algorithm.
Please share your experiences/recommendations about libraries/frameworks/tools/stacks being used.
Many thanks!