Small. Fast. Reliable.
Choose any three.

SQLite Requirement Matrix Details
c_scanstat_est.html

Index Summary Markup Original


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.