Hi,
Is there any alternative of “with” clause for transition coverage?
ID_CHANGE: coverpoint txn.req_id {
bins ID_CHG[] = ([0:max_id] => [0:max_id]) with (item == 0 && max_id > 0);
}
Do not create the bin if max_id == 0. As 0=>0 transition is not required.
Above code will give compilation error.
Thanks