public void PNCounter_must_be_able_to_decrement_each_nodes_record_by_arbitrary_delta()
{
var c1 = new PNCounter();
var c2 = c1.Decrement(_address1, 3);
var c3 = c2.Decrement(_address1, 4);
var c4 = c3.Decrement(_address2, 2);
var c5 = c4.Decrement(_address2, 7);
var c6 = c5.Decrement(_address2);
Assert.Equal(7UL, c6.Decrements.State[_address1]);
Assert.Equal(10UL, c6.Decrements.State[_address2]);
}
public void PNCounter_must_be_able_to_decrement_each_nodes_record_by_one()
{
var c1 = new PNCounter();
var c2 = c1.Decrement(_address1);
var c3 = c2.Decrement(_address1);
var c4 = c3.Decrement(_address2);
var c5 = c4.Decrement(_address2);
var c6 = c5.Decrement(_address2);
Assert.Equal(2UL, c6.Decrements.State[_address1]);
Assert.Equal(3UL, c6.Decrements.State[_address2]);
}
