]> git.ipfire.org Git - thirdparty/sqlite.git/commitdiff
Added context to explain that the test coverage is about MC/DC in general, not
authorshearer <shearer@noemail.net>
Thu, 24 Sep 2020 11:41:18 +0000 (11:41 +0000)
committershearer <shearer@noemail.net>
Thu, 24 Sep 2020 11:41:18 +0000 (11:41 +0000)
just an SQLite-specifc test harness.

FossilOrigin-Name: 770dbedddc7ce7fa2355df5db5f77ef08c53549cf7c85d0496b1978e0612c1ab

manifest
manifest.uuid
src/sqliteInt.h

index ab4e930c0051ea316965d7cda144514757f1eeb0..9dd94331a19ff67c1b9f0436a0a564528c070896 100644 (file)
--- a/manifest
+++ b/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
index 23567e8818a9a43088128a79c03c1d176ed16672..0958a509514984434ea626571e3cfa09179aa1a3 100644 (file)
@@ -1 +1 @@
-5c306f42514a42fce40fddbfed83df71c3897cc36843ed4e9e968de85ec80b42
\ No newline at end of file
+770dbedddc7ce7fa2355df5db5f77ef08c53549cf7c85d0496b1978e0612c1ab
\ No newline at end of file
index 9afc287a5baf827ac3737090eae5da856579231f..880fe2386802469d908dac8533f38dd8fb1c7c5c 100644 (file)
 
 /* 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.
 **
 **
 **    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