R-27690-36184-48459-32575-13610-54533-11397-57376 tcl slt th3 src
The sqlite3_int64 variable pointed to by the V parameter will be set to the total number of times that the X-th loop has run.
th3/cov1/status02.test:99
/* IMP: R-27690-36184 */
# EVIDENCE-OF: R-27690-36184 The sqlite3_int64 variable pointed to by # the V parameter will be set to the total number of times that the X-th # loop has run.
R-39930-13329-18334-04678-35004-32482-06305-13006 tcl slt th3 src
The sqlite3_int64 variable pointed to by the V parameter will be set to the total number of rows examined by all iterations of the X-th loop.
th3/cov1/status02.test:124
/* IMP: R-39930-13329 */
# EVIDENCE-OF: R-39930-13329 The sqlite3_int64 variable pointed to by # the V parameter will be set to the total number of rows examined by # all iterations of the X-th loop.
R-12026-28971-38060-63152-02914-42384-21788-39705 tcl slt th3 src
The "double" variable pointed to by the V parameter will be set to the query planner's estimate for the average number of rows output from each iteration of the X-th loop.
th3/cov1/status02.test:144
/* IMP: R-12026-28971 */
# EVIDENCE-OF: R-12026-28971 The "double" variable pointed to by the V # parameter will be set to the query planner's estimate for the average # number of rows output from each iteration of the X-th loop.
R-38910-65521-60645-02772-59473-48927-46815-22731 tcl slt th3 src
The "const char *" variable pointed to by the V parameter will be set to a zero-terminated UTF-8 string containing the name of the index or table used for the X-th loop.
th3/cov1/status02.test:164
/* IMP: R-38910-65521 */
# EVIDENCE-OF: R-38910-65521 The "const char *" variable pointed to by # the V parameter will be set to a zero-terminated UTF-8 string # containing the name of the index or table used for the X-th loop.
R-52219-37966-04646-12994-22275-64637-40649-18825 tcl slt th3 src
The "const char *" variable pointed to by the V parameter will be set to a zero-terminated UTF-8 string containing the EXPLAIN QUERY PLAN description for the X-th loop.
th3/cov1/status02.test:189
/* IMP: R-52219-37966 */
# EVIDENCE-OF: R-52219-37966 The "const char *" variable pointed to by # the V parameter will be set to a zero-terminated UTF-8 string # containing the EXPLAIN QUERY PLAN description for the X-th loop.
R-32833-64180-27909-23166-03590-48962-49266-63231 tcl slt th3 src
The "int" variable pointed to by the V parameter will be set to the id for the X-th query plan element.
/* IMP: R-32833-64180 */
# EVIDENCE-OF: R-32833-64180 The "int" variable pointed to by the V # parameter will be set to the id for the X-th query plan element.