Different counterexamples have different ADs

[agember]

[agember]

(From notes for 2018-11-06)

Varying fields:

• BGP_BEST_routerId
• BGP_BEST_adminDist
• BGP_BEST_metric
• BGP_IMPORT_prefixLength

Occurs in:

• bgpospfchains/disable-interface -- BGP_*_metric and BGP_*_prefixLength
• bgp-triangle/disable-interface -- BGP_*_metric and BGP_*_prefixLength
• redistribute-triangle/rm-network -- OSPF_Redistributed_prefixLength and OSPF_Redistributed_metric