public void MaxDot_should_return_zero_for_empty_set()
{
var clocks = new Siblings();
long counter = clocks.MaxDot("x");
counter.Should().Be(0);
}
public void MaxDot_should_return_the_max_counter_for_a_server_id_not_found()
{
var clocks = new Siblings
{
{ new JObject(new JProperty("v", 1)), DottedVersionVector.Parse("((r,1),{})") },
{ new JObject(new JProperty("v", 2)), DottedVersionVector.Parse("((r,2),{})") },
{ new JObject(new JProperty("v", 1)), DottedVersionVector.Parse("((s,5),{(t,4)})") },
};
long counter = clocks.MaxDot("x");
counter.Should().Be(0);
}