/ Hex Artifact Content
Login

Artifact 5755887f321baa4c55de0b91066fa7d0cafcac9d:


0000: 23 20 32 30 31 30 20 4a 75 6c 79 20 31 0a 23 0a  # 2010 July 1.#.
0010: 23 20 54 68 65 20 61 75 74 68 6f 72 20 64 69 73  # The author dis
0020: 63 6c 61 69 6d 73 20 63 6f 70 79 72 69 67 68 74  claims copyright
0030: 20 74 6f 20 74 68 69 73 20 73 6f 75 72 63 65 20   to this source 
0040: 63 6f 64 65 2e 20 20 49 6e 20 70 6c 61 63 65 20  code.  In place 
0050: 6f 66 0a 23 20 61 20 6c 65 67 61 6c 20 6e 6f 74  of.# a legal not
0060: 69 63 65 2c 20 68 65 72 65 20 69 73 20 61 20 62  ice, here is a b
0070: 6c 65 73 73 69 6e 67 3a 0a 23 0a 23 20 20 20 20  lessing:.#.#    
0080: 4d 61 79 20 79 6f 75 20 64 6f 20 67 6f 6f 64 20  May you do good 
0090: 61 6e 64 20 6e 6f 74 20 65 76 69 6c 2e 0a 23 20  and not evil..# 
00a0: 20 20 20 4d 61 79 20 79 6f 75 20 66 69 6e 64 20     May you find 
00b0: 66 6f 72 67 69 76 65 6e 65 73 73 20 66 6f 72 20  forgiveness for 
00c0: 79 6f 75 72 73 65 6c 66 20 61 6e 64 20 66 6f 72  yourself and for
00d0: 67 69 76 65 20 6f 74 68 65 72 73 2e 0a 23 20 20  give others..#  
00e0: 20 20 4d 61 79 20 79 6f 75 20 73 68 61 72 65 20    May you share 
00f0: 66 72 65 65 6c 79 2c 20 6e 65 76 65 72 20 74 61  freely, never ta
0100: 6b 69 6e 67 20 6d 6f 72 65 20 74 68 61 6e 20 79  king more than y
0110: 6f 75 20 67 69 76 65 2e 0a 23 0a 23 2a 2a 2a 2a  ou give..#.#****
0120: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0130: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0140: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0150: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a  ****************
0160: 2a 2a 2a 0a 23 20 56 65 72 69 66 79 20 74 68 61  ***.# Verify tha
0170: 74 20 61 6e 20 65 6d 70 74 79 20 64 61 74 61 62  t an empty datab
0180: 61 73 65 20 61 6e 64 20 61 20 6e 6f 6e 2d 65 6d  ase and a non-em
0190: 70 74 79 20 57 41 4c 20 66 69 6c 65 20 64 6f 20  pty WAL file do 
01a0: 6e 6f 74 0a 23 20 72 65 73 75 6c 74 20 69 6e 20  not.# result in 
01b0: 64 61 74 61 62 61 73 65 20 63 6f 72 72 75 70 74  database corrupt
01c0: 69 6f 6e 0a 23 0a 0a 73 65 74 20 74 65 73 74 64  ion.#..set testd
01d0: 69 72 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65  ir [file dirname
01e0: 20 24 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20   $argv0].source 
01f0: 24 74 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e  $testdir/tester.
0200: 74 63 6c 0a 73 6f 75 72 63 65 20 24 74 65 73 74  tcl.source $test
0210: 64 69 72 2f 6d 61 6c 6c 6f 63 5f 63 6f 6d 6d 6f  dir/malloc_commo
0220: 6e 2e 74 63 6c 0a 69 66 63 61 70 61 62 6c 65 20  n.tcl.ifcapable 
0230: 21 77 61 6c 20 7b 66 69 6e 69 73 68 5f 74 65 73  !wal {finish_tes
0240: 74 20 3b 20 72 65 74 75 72 6e 20 7d 0a 69 66 20  t ; return }.if 
0250: 7b 20 21 5b 77 61 6c 5f 69 73 5f 6f 6b 5d 20 7c  { ![wal_is_ok] |
0260: 7c 20 5b 70 61 74 68 5f 69 73 5f 64 6f 73 20 22  | [path_is_dos "
0270: 2e 22 5d 7d 20 7b 0a 20 20 66 69 6e 69 73 68 5f  ."]} {.  finish_
0280: 74 65 73 74 20 0a 20 20 72 65 74 75 72 6e 20 0a  test .  return .
0290: 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c 34 2d  }..do_test wal4-
02a0: 31 2e 31 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.1 {.  execsql 
02b0: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 6a 6f 75  {.    PRAGMA jou
02c0: 72 6e 61 6c 5f 6d 6f 64 65 3d 57 41 4c 3b 0a 20  rnal_mode=WAL;. 
02d0: 20 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20     CREATE TABLE 
02e0: 74 31 28 78 29 3b 0a 20 20 20 20 49 4e 53 45 52  t1(x);.    INSER
02f0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
0300: 28 31 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20  (1);.    INSERT 
0310: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 32  INTO t1 VALUES(2
0320: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 78 20  );.    SELECT x 
0330: 46 52 4f 4d 20 74 31 20 4f 52 44 45 52 20 42 59  FROM t1 ORDER BY
0340: 20 78 3b 0a 20 20 7d 0a 7d 20 7b 77 61 6c 20 31   x;.  }.} {wal 1
0350: 20 32 7d 0a 0a 64 6f 5f 74 65 73 74 20 77 61 6c   2}..do_test wal
0360: 34 2d 31 2e 32 20 7b 0a 20 20 23 20 53 61 76 65  4-1.2 {.  # Save
0370: 20 61 20 63 6f 70 79 20 6f 66 20 74 68 65 20 66   a copy of the f
0380: 69 6c 65 2d 73 79 73 74 65 6d 20 63 6f 6e 74 61  ile-system conta
0390: 69 6e 69 6e 67 20 74 68 65 20 77 61 6c 20 61 6e  ining the wal an
03a0: 64 20 77 61 6c 2d 69 6e 64 65 78 20 66 69 6c 65  d wal-index file
03b0: 73 20 0a 20 20 23 20 6f 6e 6c 79 20 28 6e 6f 20  s .  # only (no 
03c0: 64 61 74 61 62 61 73 65 20 66 69 6c 65 29 2e 0a  database file)..
03d0: 20 20 66 61 75 6c 74 73 69 6d 5f 73 61 76 65 5f    faultsim_save_
03e0: 61 6e 64 5f 63 6c 6f 73 65 0a 20 20 66 6f 72 63  and_close.  forc
03f0: 65 64 65 6c 65 74 65 20 73 76 5f 74 65 73 74 2e  edelete sv_test.
0400: 64 62 0a 7d 20 7b 7d 0a 0a 64 6f 5f 74 65 73 74  db.} {}..do_test
0410: 20 77 61 6c 34 2d 31 2e 33 20 7b 0a 20 20 66 61   wal4-1.3 {.  fa
0420: 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61  ultsim_restore_a
0430: 6e 64 5f 72 65 6f 70 65 6e 0a 20 20 63 61 74 63  nd_reopen.  catc
0440: 68 73 71 6c 20 7b 20 53 45 4c 45 43 54 20 2a 20  hsql { SELECT * 
0450: 46 52 4f 4d 20 74 31 20 7d 0a 7d 20 7b 31 20 7b  FROM t1 }.} {1 {
0460: 6e 6f 20 73 75 63 68 20 74 61 62 6c 65 3a 20 74  no such table: t
0470: 31 7d 7d 0a 0a 64 6f 5f 66 61 75 6c 74 73 69 6d  1}}..do_faultsim
0480: 5f 74 65 73 74 20 77 61 6c 34 2d 32 20 2d 70 72  _test wal4-2 -pr
0490: 65 70 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f  ep {.  faultsim_
04a0: 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70  restore_and_reop
04b0: 65 6e 0a 7d 20 2d 62 6f 64 79 20 7b 0a 20 20 65  en.} -body {.  e
04c0: 78 65 63 73 71 6c 20 7b 20 53 45 4c 45 43 54 20  xecsql { SELECT 
04d0: 6e 61 6d 65 20 46 52 4f 4d 20 73 71 6c 69 74 65  name FROM sqlite
04e0: 5f 6d 61 73 74 65 72 20 7d 0a 7d 20 2d 74 65 73  _master }.} -tes
04f0: 74 20 7b 0a 20 20 23 20 52 65 73 75 6c 74 20 73  t {.  # Result s
0500: 68 6f 75 6c 64 20 62 65 20 7a 65 72 6f 20 72 6f  hould be zero ro
0510: 77 73 20 28 65 6d 70 74 79 20 64 62 20 66 69 6c  ws (empty db fil
0520: 65 29 2e 0a 20 20 23 0a 20 20 66 61 75 6c 74 73  e)..  #.  faults
0530: 69 6d 5f 74 65 73 74 5f 72 65 73 75 6c 74 20 7b  im_test_result {
0540: 30 20 7b 7d 7d 0a 0a 20 20 23 20 49 66 20 74 68  0 {}}..  # If th
0550: 65 20 53 45 4c 45 43 54 20 66 69 6e 69 73 68 65  e SELECT finishe
0560: 64 20 73 75 63 63 65 73 73 66 75 6c 6c 79 2c 20  d successfully, 
0570: 74 68 65 20 57 41 4c 20 66 69 6c 65 20 73 68 6f  the WAL file sho
0580: 75 6c 64 20 68 61 76 65 20 62 65 65 6e 0a 20 20  uld have been.  
0590: 23 20 64 65 6c 65 74 65 64 2e 20 49 6e 20 6e 6f  # deleted. In no
05a0: 20 63 61 73 65 20 73 68 6f 75 6c 64 20 74 68 65   case should the
05b0: 20 64 61 74 61 62 61 73 65 20 66 69 6c 65 20 68   database file h
05c0: 61 76 65 20 62 65 65 6e 20 77 72 69 74 74 65 6e  ave been written
05d0: 2c 20 73 6f 0a 20 20 23 20 69 74 20 73 68 6f 75  , so.  # it shou
05e0: 6c 64 20 73 74 69 6c 6c 20 62 65 20 7a 65 72 6f  ld still be zero
05f0: 20 62 79 74 65 73 20 69 6e 20 73 69 7a 65 20 72   bytes in size r
0600: 65 67 61 72 64 6c 65 73 73 20 6f 66 20 77 68 65  egardless of whe
0610: 74 68 65 72 20 6f 72 20 6e 6f 74 0a 20 20 23 20  ther or not.  # 
0620: 61 20 66 61 75 6c 74 20 77 61 73 20 69 6e 6a 65  a fault was inje
0630: 63 74 65 64 2e 20 54 65 73 74 20 74 68 65 73 65  cted. Test these
0640: 20 61 73 73 65 72 74 69 6f 6e 73 3a 0a 20 20 23   assertions:.  #
0650: 0a 20 20 69 66 20 7b 20 24 74 65 73 74 72 63 3d  .  if { $testrc=
0660: 3d 30 20 26 26 20 5b 66 69 6c 65 20 65 78 69 73  =0 && [file exis
0670: 74 73 20 74 65 73 74 2e 64 62 2d 77 61 6c 5d 20  ts test.db-wal] 
0680: 7d 20 7b 20 0a 20 20 20 20 65 72 72 6f 72 20 22  } { .    error "
0690: 57 61 6c 20 66 69 6c 65 20 77 61 73 20 6e 6f 74  Wal file was not
06a0: 20 64 65 6c 65 74 65 64 22 0a 20 20 7d 0a 20 20   deleted".  }.  
06b0: 69 66 20 7b 20 5b 66 69 6c 65 20 73 69 7a 65 20  if { [file size 
06c0: 74 65 73 74 2e 64 62 5d 21 3d 30 20 7d 20 7b 20  test.db]!=0 } { 
06d0: 0a 20 20 20 20 65 72 72 6f 72 20 22 44 62 20 66  .    error "Db f
06e0: 69 6c 65 20 67 72 65 77 20 74 6f 20 5b 66 69 6c  ile grew to [fil
06f0: 65 20 73 69 7a 65 20 74 65 73 74 2e 64 62 5d 20  e size test.db] 
0700: 62 79 74 65 73 22 0a 20 20 7d 0a 7d 0a 0a 66 69  bytes".  }.}..fi
0710: 6e 69 73 68 5f 74 65 73 74 0a                    nish_test.