I heard that all-paths coverage test is more strong than other forms of coverage tests. Can someone give an example of a piece of code, that has an error, that can only be detected by all-paths coverage test? E.g. the code, for which a set of tests exist, that covers the whole function, and they show correctness of the implementation, but there still exist a valid combination of input arguments values, that proves the function is not implemented 100% correctly.