R-52416-32346-43707-53690-51782-13807-57245-45566 tcl slt th3 src
The sqlite3_int64 variable pointed to by the T parameter will be set to the total number of times that the X-th loop has run.
th3/cov1/status02.test:99
/* IMP: R-52416-32346 */
# EVIDENCE-OF: R-52416-32346 The sqlite3_int64 variable pointed to by # the T parameter will be set to the total number of times that the X-th # loop has run.
R-45249-57463-30328-02594-07856-08859-32565-40556 tcl slt th3 src
The sqlite3_int64 variable pointed to by the T 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-45249-57463 */
# EVIDENCE-OF: R-45249-57463 The sqlite3_int64 variable pointed to by # the T parameter will be set to the total number of rows examined by # all iterations of the X-th loop.
R-30129-51241-12586-54609-11421-44691-24678-31141 tcl slt th3 src
The "double" variable pointed to by the T 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-30129-51241 */
# EVIDENCE-OF: R-30129-51241 The "double" variable pointed to by the T # 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-43811-17362-09075-12803-16235-46010-60763-53812 tcl slt th3 src
The "const char *" variable pointed to by the T 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-43811-17362 */
# EVIDENCE-OF: R-43811-17362 The "const char *" variable pointed to by # the T 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-16489-33536-23753-27840-15577-08736-43956-56461 tcl slt th3 src
The "const char *" variable pointed to by the T 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-16489-33536 */
# EVIDENCE-OF: R-16489-33536 The "const char *" variable pointed to by # the T parameter will be set to a zero-terminated UTF-8 string # containing the EXPLAIN QUERY PLAN description for the X-th loop.
R-22825-10487-14088-37965-39008-13808-51021-60336 tcl slt th3 src
The "int" variable pointed to by the T parameter will be set to the "select-id" for the X-th loop.
/* IMP: R-22825-10487 */
# EVIDENCE-OF: R-22825-10487 The "int" variable pointed to by the T # parameter will be set to the "select-id" for the X-th loop.