Add statistic on coverage extent.

diff --git a/notes.adoc b/notes.adoc
index 4a166bd9eb6f8230427a8936c6807fee90c7f07f..07602ec40b50a2101a02b842bee959c33c36d42f 100644 (file)
--- a/notes.adoc
+++ b/notes.adoc
@@ -79,8 +79,10 @@ ugly and quite unreadable.
 
 Jason Ninneman and I have moved it to what is almost, but not quite,
 idiomatic modern C.  We refactored the right way, checking correctness
-against a comprehensive test suite that we built first and verified with
-coverage tools. This is what you are running when you do "make check".
+against a comprehensive test suite that we built first and verified
+with coverage tools (we have 88% coverage, with the remaining 12%
+confined to exception cases that are difficult to reach). This is
+what you are running when you do "make check".
 
 This move entailed some structural changes.  The most important was
 the refactoring of over 350 gotos into if/loop/break structures.  We