SQLite Requirement Matrix Details
stmt_scanstatus.html

Index Summary Markup Original

R-07848-59274-08583-36446-01674-55219-01938-38331 tcl slt th3 src

The requested measurement is written into a variable pointed to by the "pOut" parameter.

th3/cov1/status02.test:103

/* IMP: R-07848-59274 */

# EVIDENCE-OF: R-07848-59274 The requested measurement is written into a
# variable pointed to by the "pOut" parameter.

R-43833-46001-07535-07747-23355-16276-19014-45982 tcl slt th3 src

If idx is out of range - less than zero or greater than or equal to the total number of loops used to implement the statement - a non-zero value is returned and the variable that pOut points to is unchanged.

th3/cov1/status02.test:58

/* IMP: R-43833-46001 */

# EVIDENCE-OF: R-43833-46001 If idx is out of range - less than zero or
# greater than or equal to the total number of loops used to implement
# the statement - a non-zero value is returned and the variable that
# pOut points to is unchanged.

R-58777-16499-45201-64788-11957-29416-62683-55566 tcl slt th3 src

Statistics might not be available for all loops in all statements.

th3/cov1/status02.test:231

/* IMP: R-58777-16499 */

# EVIDENCE-OF: R-58777-16499 Statistics might not be available for all
# loops in all statements.

R-44544-27073-02924-52207-56870-56461-15432-54248 tcl slt th3 src

In cases where there exist loops with no available statistics, this function behaves as if the loop did not exist - it returns non-zero and leave the variable that pOut points to unchanged.

th3/cov1/status02.test:234

/* IMP: R-44544-27073 */

# EVIDENCE-OF: R-44544-27073 In cases where there exist loops with no
# available statistics, this function behaves as if the loop did not
# exist - it returns non-zero and leave the variable that pOut points to
# unchanged.