ipv6_hdr__f_next_header_cp: coverpoint this.ipv6_hdr.ipv6_f_next_header iff (this.has_ipv6_header){
bins ipsec_33 = {'h33};
bins tcp_06 = {'h06};
bins udp_11 = {'h11};
bins done_3b = {'h3b};
bins ipv6_ext_any_other [3] = {[0:'h5], ['h7:'h10], ['h12:'h3a], ['h3c:$]};
}
‘ipv6_ext_any_other’ bin should collect all vals that are not collected by other bins. ‘default’ might be used, but the problem is that ‘default’ is not an ‘active’ bin, i mean, it is not a part of the func cov metrics.
is there any other way of defining the ‘ipv6_ext_any_other’ bin? alternatively, is there a way of making the ‘default’, an active bin?