AryaWu/sqlite

1# 2010 June 152#3# The author disclaims copyright to this source code.  In place of4# a legal notice, here is a blessing:5#6#    May you do good and not evil.7#    May you find forgiveness for yourself and forgive others.8#    May you share freely, never taking more than you give.9#10#***********************************************************************11#12 13set testdir [file dirname $argv0]14source $testdir/tester.tcl15source $testdir/lock_common.tcl16source $testdir/malloc_common.tcl17set testprefix pragmafault18 19db close20sqlite3 db test.db21sqlite3_db_config_lookaside db 0 0 022do_execsql_test 1.0 {23  CREATE TABLE t1(a, b, CHECK(a!=b));24  INSERT INTO t1 VALUES(1, 2);25  INSERT INTO t1 VALUES(3, 4);26}27faultsim_save_and_close28 29do_faultsim_test 1 -prep {30  faultsim_restore_and_reopen31} -body {32  catchsql { PRAGMA integrity_check }33  set {} 034} -test {35  faultsim_test_result {0 0} 36}37 38 39finish_test40