Non-returning Functions
Testwell CTC++ does not recognize immediately when a function call does not return.
This is detected only at the next counter, see lines 13 - 15 in the example below. Line highlighting and statement coverage are affected and too high in these cases, but decision coverage and all other coverage measures are correct.