Hello, I wanted to ask what model for branch coverage does gcov use? Would it be branch, decision, condition coverage or some modification like branch condition, branch condition combination or modified condition decision coverage (MCDC)? Also for a simple example as below: uint8 Func(uint8 a, uint8 b, uint8 c) { return ((a > 5u) && (b < 15u) && (c == 0u)); } I get 6 branches. The total number of possibilities is 8: F F F T F F F T F F F T T T F F T T T F T T T T where T is true and F is false. Which branches are taken into account? Why does executing function with parameters Func(6u, 14u, 0u) results in 3 branches out of 6 being covered? I could understand that due to short-circuit evaluation more branches could be covered when some condition is false but not when all of them are true. What combination of conditions is needed for full coverage in this case? Thank you for your help. Best regards Darius
