SQLite Requirement Matrix Details
test_control.html

Index Summary Markup Original

R-25460-65232-16560-61859-43199-38232-53443-46120 tcl slt th3 src

The sqlite3_test_control() interface is used to read out internal state of SQLite and to inject faults into SQLite for testing purposes.

th3/req1/checkpoint01.test:45

/* IMP: R-25460-65232 */

# EVIDENCE-OF: R-25460-65232 The sqlite3_test_control() interface is
# used to read out internal state of SQLite and to inject faults into
# SQLite for testing purposes.

R-56424-18878-13584-40742-26912-14341-05618-57860 tcl slt th3 src

The first parameter is an operation code that determines the number, meaning, and operation of all subsequent parameters.

th3/req1/checkpoint01.test:48

/* IMP: R-56424-18878 */

# EVIDENCE-OF: R-56424-18878 The first parameter is an operation code
# that determines the number, meaning, and operation of all subsequent
# parameters.