*** DRAFT ***

SQLite Requirement Matrix Details
randomness.html

Index Summary Markup Original


R-37127-14782-63396-43128-39237-20363-34771-13214 tcl slt th3 src

A call to this routine stores N bytes of randomness into buffer P.

th3/cov1/random01.test:19

/* IMP: R-37127-14782 */
# EVIDENCE-OF: R-37127-14782 A call to this routine stores N bytes of
# randomness into buffer P.

R-44028-31666-03936-19748-14191-58058-00871-01668 tcl slt th3 src

The P parameter can be a NULL pointer.

th3/cov1/random01.test:32

/* IMP: R-44028-31666 */
# EVIDENCE-OF: R-44028-31666 The P parameter can be a NULL pointer.

R-30493-01537-45458-43801-08603-54598-05440-48528 tcl slt th3 src

If this routine has not been previously called or if the previous call had N less than one or a NULL pointer for P, then the PRNG is seeded using randomness obtained from the xRandomness method of the default sqlite3_vfs object.

th3/cov1/random01.test:37

/* IMP: R-30493-01537 */
# EVIDENCE-OF: R-30493-01537 If this routine has not been previously
# called or if the previous call had N less than one or a NULL pointer
# for P, then the PRNG is seeded using randomness obtained from the
# xRandomness method of the default sqlite3_vfs object.

R-28765-22796-02386-57750-08034-62633-19124-45761 tcl slt th3 src

If the previous call to this routine had an N of 1 or more and a non-NULL P then the pseudo-randomness is generated internally and without recourse to the sqlite3_vfs xRandomness method.

th3/cov1/random01.test:58

/* IMP: R-28765-22796 */
# EVIDENCE-OF: R-28765-22796 If the previous call to this routine had an
# N of 1 or more and a non-NULL P then the pseudo-randomness is
# generated internally and without recourse to the sqlite3_vfs
# xRandomness method.