R-11367-28935-40520-63725-29251-53752-16809-23090 tcl slt th3 src
The sqlite3_snapshot_get(D,S,P) interface attempts to make a new sqlite3_snapshot object that records the current state of schema S in database connection D.
/* IMP: R-11367-28935 */
# EVIDENCE-OF: R-11367-28935 The sqlite3_snapshot_get(D,S,P) interface # attempts to make a new sqlite3_snapshot object that records the # current state of schema S in database connection D.
R-22130-30551-62458-54742-21400-01108-16464-06661 tcl slt th3 src
On success, the sqlite3_snapshot_get(D,S,P) interface writes a pointer to the newly created sqlite3_snapshot object into *P and returns SQLITE_OK.
/* IMP: R-22130-30551 */
# EVIDENCE-OF: R-22130-30551 On success, the sqlite3_snapshot_get(D,S,P) # interface writes a pointer to the newly created sqlite3_snapshot # object into *P and returns SQLITE_OK.