> [ 0.000000] (0:@) Configuration change: Set 'model-check' to '1'
> [ 0.000000] (0:@) Check the liveness property promela_chord_liveness
> [ 0.000000] (1:node@Jean_Yves) Joining the ring with id 14, knowing node 1
> [ 0.000000] (0:@) Configuration change: Set 'model-check' to '1'
> [ 0.000000] (0:@) Check the liveness property promela_chord_liveness
> [ 0.000000] (1:node@Jean_Yves) Joining the ring with id 14, knowing node 1