The coverage of branches in a control flow graph.