Enhancements and improved documentation to the byte-code branch coverage
commitc2050447cf23f06a182df0040fe544f027314a45
authorD. Richard Hipp <drh@hwaci.com>
Tue, 10 Jul 2018 16:04:04 +0000 (10 16:04 +0000)
committerD. Richard Hipp <drh@hwaci.com>
Tue, 10 Jul 2018 16:04:04 +0000 (10 16:04 +0000)
tree740a3aec8e38844e53a505afeb5c88b24684acea
parent217304b776cac8f1cdbacdd13043e0163f3af747
Enhancements and improved documentation to the byte-code branch coverage
testing logic.  Provide new macros that allow the code to specify that
some branch instructions can never take the NULL path and that the OP_Jump
opcode is only interested in equal/not-equal.  The
SQLITE_TESTCTRL_VDBE_COVERAGE file control callback now works slightly
differently (it provides the callback with a bitmask of the branch action,
rather than an integer).
src/main.c
src/sqliteInt.h
src/vdbe.c
src/vdbe.h