Branch coverage

A testing metric requiring that every branch (true/false of each conditional) is executed at least once - difficult to achieve in testing but automatic in type checking since type checkers traverse bo

A testing metric requiring that every branch (true/false of each conditional) is executed at least once - difficult to achieve in testing but automatic in type checking since type checkers traverse both branches of conditionals.