search

nurturenature / fuzz_dist

Property testing distributed applications with fault injection and verification.
Apache License 2.0
4 stars 1 forks source link

pn-counter: Jepsen workload, client, checker and Elixir client for AntidoteDB #53

Closed nurturenature closed 2 years ago

nurturenature commented 2 years ago

Uses AntidoteDB antidote_crdt_counter_pn data type.

Uses Jepsen checker from Maelstron.

Initial full end-to-end impl. Intent is to enhance checker.