1# 2010 July 1 2# 3# The author disclaims copyright to this source code. In place of 4# 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# Verify that an empty database and a non-empty WAL file do not 12# result in database corruption 13# 14 15set testdir [file dirname $argv0] 16source $testdir/tester.tcl 17source $testdir/malloc_common.tcl 18ifcapable !wal {finish_test ; return } 19 20do_test wal4-1.1 { 21 execsql { 22 PRAGMA journal_mode=WAL; 23 CREATE TABLE t1(x); 24 INSERT INTO t1 VALUES(1); 25 INSERT INTO t1 VALUES(2); 26 SELECT x FROM t1 ORDER BY x; 27 } 28} {wal 1 2} 29 30do_test wal4-1.2 { 31 # Save a copy of the file-system containing the wal and wal-index files 32 # only (no database file). 33 faultsim_save_and_close 34 file delete -force sv_test.db 35} {} 36 37do_test wal4-1.3 { 38 faultsim_restore_and_reopen 39 catchsql { SELECT * FROM t1 } 40} {1 {no such table: t1}} 41 42do_faultsim_test wal4-2 -prep { 43 faultsim_restore_and_reopen 44} -body { 45 execsql { SELECT name FROM sqlite_master } 46} -test { 47 # Result should be zero rows (empty db file). 48 # 49 faultsim_test_result {0 {}} 50 51 # If the SELECT finished successfully, the WAL file should have been 52 # deleted. In no case should the database file have been written, so 53 # it should still be zero bytes in size regardless of whether or not 54 # a fault was injected. Test these assertions: 55 # 56 if { $testrc==0 && [file exists test.db-wal] } { 57 error "Wal file was not deleted" 58 } 59 if { [file size test.db]!=0 } { 60 error "Db file grew to [file size test.db] bytes" 61 } 62} 63 64finish_test 65