anchor.diff:      share_upgrade_test/1,
       provider_upgrade_test/1,
       handle_service_upgrade_test/1,
  -    handle_upgrade_test/1
  +    handle_upgrade_test/1,
  +    dns_state_upgrade_test/1
   ]).
   
   %%%===================================================================
  
positive.code:     share_upgrade_test,
      provider_upgrade_test,
      handle_service_upgrade_test,
      handle_upgrade_test
  ]).
  
  
  
negative.code:     eff_groups = #{},
  
      bottom_up_dirty = true
  }.
  
  dns_state_record(1) -> {dns_state,
      #{<<"sub">> => <<"p1">>},
      #{<<"p1">> => <<"sub">>},
      #{<<"p1">> => [{1,2,3,4}, {192,168,192,1}]},
      #{<<"p1">> => [
          {<<"_acme-challenge">>, <<"token">>},
          {<<"second">>, <<"value">>}
      ]}
  };
  
  dns_state_record(2) -> {dns_state,
      #{<<"sub">> => <<"p1">>},
      #{<<"p1">> => <<"sub">>},
      #{<<"p1">> => [{1,2,3,4}, {192,168,192,1}]},
      #{<<"p1">> => [
          {<<"_acme-challenge">>, <<"token">>, undefined},
          {<<"second">>, <<"value">>, undefined}
      ]}
  }.
  