Function is_zero_term

Source
fn is_zero_term(
    counters_seen: &DenseBitSet<CounterId>,
    zero_expressions: &DenseBitSet<ExpressionId>,
    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.