Use ScalaCheck for CRDT property-based testing #1
Description
ScalaCheck (QuickCheck) is a great way to verify formally the behaviour of main operations on CRDT structures: merge, diff, lookup operations and so on.
{{ message }}
ScalaCheck (QuickCheck) is a great way to verify formally the behaviour of main operations on CRDT structures: merge, diff, lookup operations and so on.