Added context to explain that the test coverage is about MC/DC in general, not

just an SQLite-specifc test harness.

FossilOrigin-Name: 770dbedddc7ce7fa2355df5db5f77ef08c53549cf7c85d0496b1978e0612c1ab

manifest

@@ -1,8 +1,9 @@
 B 3d35fa0be866213274fc09250225b345f6b08a9b4ec373d53d95e627e24512be
-C Group\smetadata\sdefinitions\stogether
-D 2020-09-24T06:37:18.043
+C Added\scontext\sto\sexplain\sthat\sthe\stest\scoverage\sis\sabout\sMC/DC\sin\sgeneral,\snot\s\njust\san\sSQLite-specifc\stest\sharness.
+D 2020-09-24T11:41:18.469
 F src/btree.h a36f07d3b2a654293b477d80d6f0eff2ce2420dcf964c857eaa44980f1a15a6d
-P a46537153c0db06a324320fb5fb1a6aa5191a7559b6d1cabfa6bf4b9457b3bae
-R abf43f37689908b171be03d573437689
+F src/sqliteInt.h 8cd4cbd10c3263d91a8aa316165f45d8cc9215156e04b635b9a4de8c28c491bb
+P 5c306f42514a42fce40fddbfed83df71c3897cc36843ed4e9e968de85ec80b42
+R 60440bb1c556853c2938c18383760027
 U shearer
-Z 9e6a3a5c88466f17b17373b213cb5ea0
+Z 7cf7042cafcc05ab5168d6b809815715

manifest.uuid

@@ -1 +1 @@
-5c306f42514a42fce40fddbfed83df71c3897cc36843ed4e9e968de85ec80b42
+770dbedddc7ce7fa2355df5db5f77ef08c53549cf7c85d0496b1978e0612c1ab

src/sqliteInt.h

@@ -17,15 +17,16 @@
 
 /* Special Comments:
 **
-** Some comments have special meaning to the tools that measure test
-** coverage:
+** Some comments have special meaning to the external tools that measure test
+** coverage of conditional brances (MC/DC testing, described in
+** https://en.wikipedia.org/wiki/Modified_condition/decision_coverage ).
 **
 **    NO_TEST                     - The branches on this line are not
 **                                  measured by branch coverage.  This is
 **                                  used on lines of code that actually
 **                                  implement parts of coverage testing.
 **
-**    OPTIMIZATION-IF-TRUE        - This branch is allowed to alway be false
+**    OPTIMIZATION-IF-TRUE        - This branch is allowed to always be false
 **                                  and the correct answer is still obtained,
 **                                  though perhaps more slowly.
 **
@@ -35,7 +36,11 @@
 **
 **    PREVENTS-HARMLESS-OVERREAD  - This branch prevents a buffer overread
 **                                  that would be harmless and undetectable
-**                                  if it did occur.  
+**                                  if it did occur.
+**
+** The OPTIMIZATION-* comments above are for mutation testing as described in
+** https://en.wikipedia.org/wiki/Mutation_testing and
+** https://www.sqlite.org/testing.html#mutationtests .
 **
 ** In all cases, the special comment must be enclosed in the usual
 ** slash-asterisk...asterisk-slash comment marks, with no spaces between the