A counter starts at zero; add operations should increment it by that much, and
reads should return the present value. Checker validates that at each
read, the value is greater than the sum of all :ok increments and attempted
decrements, and lower than the sum of all attempted increments and :ok
decrements.
A counter starts at zero; add operations should increment it by that much, and reads should return the present value. Checker validates that at each read, the value is greater than the sum of all :ok increments and attempted decrements, and lower than the sum of all attempted increments and :ok decrements.
Closes #3