Coverage issue

[mperyer]

You can use the following syntax:

bins a = {1} iff(<condition_is_true>);
bins b = {2} iff(!<condition_is_true>);