diff options
Diffstat (limited to 'docs/reports/coverage.txt')
| -rw-r--r-- | docs/reports/coverage.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/reports/coverage.txt b/docs/reports/coverage.txt index 731ba75d5..d831c9959 100644 --- a/docs/reports/coverage.txt +++ b/docs/reports/coverage.txt @@ -33,7 +33,7 @@ Lines executed:100.00% of 18 ../../os/kernel/src/chregistry.c:creating `chregistry.c.gcov'
File `../../os/kernel/src/chsem.c'
-Lines executed:100.00% of 89
+Lines executed:100.00% of 88
../../os/kernel/src/chsem.c:creating `chsem.c.gcov'
File `../../os/kernel/src/chmtx.c'
|