CRDT implementations to use with Antidote.

Use the following make targets to build and test the CRDT library:

# compile
make compile
# run unit tests:
make test
# check types:
make dialyzer
# check code style:
make lint

To run the property based tests in the test directory install the rebar3 PropEr plugin by adding the following line to ~/.config/rebar3/rebar.config:

{plugins, [rebar3_proper]}.

Then execute the tests with:

make proper

For more control, you can run PropEr manually and specify parameters like the tested module or the number of generated tests:

rebar3 proper -n 1000 -m prop_crdt_orset