And that test will check the code paths are run. That doesn't tell you that the code is correct. It tells you that the branching code can reach all the branch

And that test will check the code paths are run. That doesn't tell you that the code is correct. It tells you that the branching code can reach all the branches. That isn't very useful.