Robin Senn

For packages that import other specifications but do not use messages from these packages as refinements, the coverage report will never output a 100% coverage (or anything > 0 for...

> Can we get 100 %, coverage, if there are multiple independent messages in one specification file? As far as I remember, the output is on a per-message basis. Only...

I need to partly correct myself on this. The coverage report contains the reached coverage over the entire file. So "File" is not misplaced. However, 100% coverage could never be...