Right, essentially you have to be aware that you are testing the state space the code might end up in, which is very different from just hitting every line of c

Right, essentially you have to be aware that you are testing the state space the code might end up in, which is very different from just hitting every line of code or every branch.