> 100% branch coverage says that every line of code has been executed, but not how many times
Actually, 100% branch coverage says every line has been executed but also that every branch has been both taken and not taken. So e.g. every non-constant if statement is both taken and not taken.