Why do I have conflicting results between my test generation report and my coverage report?

Why do I have conflicting results between my test generation report and my coverage report?

I have several switch blocks in my model. One of them is shown as "unsatisfiable under approximation" according to the test generation report and thus is not fully covered. However, the coverage report shows that it is fully covered.

Answer 1

[MathWorks Support Team]

This issue can occur when you have one switch block called "Switch4" (the default name for the fourth switch) and another called "Switch 4". The blocks with default names do not show their names by default, so this subtle ambiguity can be difficult to notice.

Please provide your own descriptive block names to avoid this kind of ambiguity.