Re: Core Claim and Property-Based Tests

2017-05-18 Thread Jon Meredith
That's what I get for doing things from memory and not running the simulator :) I think you're right about the actual operation of the preference lists - but i haven't had a chance to look over the code or run some simulations. The effect isn't quite as severe, but as you say unevenly loads the clu

Re: Core Claim and Property-Based Tests

2017-05-18 Thread Martin Sumner
Jon, With regards to this snippet below, I think I get your point, but I don't think the example is valid: >>> If with N=3 if a node goes down, all of the responsibility for that node is shift to another single node in the cluster. n1 | n2 | n3 | n4 | n1 | n2 | n3 | n4(Q=8 S=4,TargetN4)