*** DRAFT ***

stmt_scanstatus.html

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.