fn is_zero_term(
counters_seen: &BitSet<CounterId>,
zero_expressions: &ZeroExpressions,
term: CovTerm,
) -> bool
Expand description
Returns true
if the given term is known to have a value of zero, taking
into account knowledge of which counters are unused and which expressions
are always zero.