diff options
Diffstat (limited to 'docs/reports')
| -rw-r--r-- | docs/reports/coverage.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/reports/coverage.txt b/docs/reports/coverage.txt index dc63a753e..731ba75d5 100644 --- a/docs/reports/coverage.txt +++ b/docs/reports/coverage.txt @@ -49,11 +49,11 @@ Lines executed:100.00% of 111 ../../os/kernel/src/chevents.c:creating `chevents.c.gcov'
File `../../os/kernel/src/chmsg.c'
-Lines executed:100.00% of 32
+Lines executed:100.00% of 27
../../os/kernel/src/chmsg.c:creating `chmsg.c.gcov'
File `../../os/kernel/src/chmboxes.c'
-Lines executed:100.00% of 65
+Lines executed:100.00% of 94
../../os/kernel/src/chmboxes.c:creating `chmboxes.c.gcov'
File `../../os/kernel/src/chqueues.c'
|