Exemplo n.º 1
0
        public void MaxDot_should_return_zero_for_empty_set()
        {
            var clocks = new Siblings();

            long counter = clocks.MaxDot("x");

            counter.Should().Be(0);
        }
Exemplo n.º 2
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);
        }