Closed ligurio closed 4 years ago
checker/counter does not support decrements and in Jepsen 0.2.1 it throws when provided negative increments.
Closes #60
checker/counter does not support decrements and in Jepsen 0.2.1 it throws when provided negative increments.
Closes #60