Why do I have conflicting results between my test generation report and my coverage report?
1 view (last 30 days)
Show older comments
MathWorks Support Team
on 2 Apr 2019
Answered: MathWorks Support Team
on 24 Apr 2019
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.
Accepted Answer
MathWorks Support Team
on 25 Apr 2019
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.
0 Comments
More Answers (0)
See Also
Categories
Find more on Collect Coverage for Models in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!