anchor.diff:                                    tester_type_check_rm_leases
                                 ]},
        {kill_tests,     [sequence], [
  -                                  test_single_kill,
  -                                  test_double_kill
  +                                  test_single_kill
                                  ]},
        {add_tests,      [sequence], [
                                     test_single_add,
  
positive.code: 
  
  test_single_kill(_Config) ->
  %    log:log("join nodes", []),
      log:log("kill nodes", []),
      synchronous_kill(config:read(replication_factor), config:read(replication_factor)-1),
      %timer:sleep(5000), % enable to see rest of protocol
      ok.
  
  test_double_kill(_Config) ->
  %    log:log("join nodes", []),
      log:log("kill nodes", []),
      synchronous_kill(config:read(replication_factor), config:read(replication_factor)-2),
      %timer:sleep(5000), % enable to see rest of protocol
      ok.
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %
  
negative.code: 
  
  test_single_add(_Config) ->
      %% log:log("join nodes", []),
      log:log("add nodes", []),
      synchronous_add(config:read(replication_factor), config:read(replication_factor)+1),
      %timer:sleep(5000), % enable to see rest of protocol
      ok.
  
  test_double_add(_Config) ->
      %% log:log("join nodes", []),
      log:log("add nodes", []),
      synchronous_add(config:read(replication_factor), config:read(replication_factor)+2),
      %timer:sleep(5000), % enable to see rest of protocol
      ok.
  
  test_triple_add(_Config) ->
      %% log:log("join nodes", []),
      log:log("add nodes", []),
      synchronous_add(config:read(replication_factor), config:read(replication_factor)+3),
      %timer:sleep(5000), % enable to see rest of protocol
  