Artifact
2544a2e2ecad56e3c07a32c09799871d243c114c:
0000: 23 20 32 30 31 31 20 4d 61 72 20 32 31 0a 23 0a # 2011 Mar 21.#.
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 0a 23 20 54 68 65 20 66 6f 63 75 ***.#.# The focu
0170: 73 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20 69 s of this file i
0180: 73 20 74 65 73 74 69 6e 67 20 74 68 65 20 73 65 s testing the se
0190: 73 73 69 6f 6e 20 6d 6f 64 75 6c 65 2e 0a 23 0a ssion module..#.
01a0: 0a 69 66 20 7b 21 5b 69 6e 66 6f 20 65 78 69 73 .if {![info exis
01b0: 74 73 20 74 65 73 74 64 69 72 5d 7d 20 7b 0a 20 ts testdir]} {.
01c0: 20 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69 set testdir [fi
01d0: 6c 65 20 6a 6f 69 6e 20 5b 66 69 6c 65 20 64 69 le join [file di
01e0: 72 6e 61 6d 65 20 5b 69 6e 66 6f 20 73 63 72 69 rname [info scri
01f0: 70 74 5d 5d 20 2e 2e 20 2e 2e 20 74 65 73 74 5d pt]] .. .. test]
0200: 0a 7d 20 0a 73 6f 75 72 63 65 20 5b 66 69 6c 65 .} .source [file
0210: 20 6a 6f 69 6e 20 5b 66 69 6c 65 20 64 69 72 6e join [file dirn
0220: 61 6d 65 20 5b 69 6e 66 6f 20 73 63 72 69 70 74 ame [info script
0230: 5d 5d 20 73 65 73 73 69 6f 6e 5f 63 6f 6d 6d 6f ]] session_commo
0240: 6e 2e 74 63 6c 5d 0a 73 6f 75 72 63 65 20 24 74 n.tcl].source $t
0250: 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63 estdir/tester.tc
0260: 6c 0a 0a 73 65 74 20 74 65 73 74 70 72 65 66 69 l..set testprefi
0270: 78 20 73 65 73 73 69 6f 6e 66 61 75 6c 74 0a 0a x sessionfault..
0280: 66 6f 72 63 65 64 65 6c 65 74 65 20 74 65 73 74 forcedelete test
0290: 2e 64 62 32 0a 73 71 6c 69 74 65 33 20 64 62 32 .db2.sqlite3 db2
02a0: 20 74 65 73 74 2e 64 62 32 0a 64 6f 5f 63 6f 6d test.db2.do_com
02b0: 6d 6f 6e 5f 73 71 6c 20 7b 0a 20 20 43 52 45 41 mon_sql {. CREA
02c0: 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20 62 TE TABLE t1(a, b
02d0: 2c 20 63 2c 20 50 52 49 4d 41 52 59 20 4b 45 59 , c, PRIMARY KEY
02e0: 28 61 2c 20 62 29 29 3b 0a 20 20 49 4e 53 45 52 (a, b));. 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 2c 20 32 2c 20 33 29 3b 0a 20 20 49 4e 53 (1, 2, 3);. INS
0310: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 ERT INTO t1 VALU
0320: 45 53 28 34 2c 20 35 2c 20 36 29 3b 0a 7d 0a 66 ES(4, 5, 6);.}.f
0330: 61 75 6c 74 73 69 6d 5f 73 61 76 65 5f 61 6e 64 aultsim_save_and
0340: 5f 63 6c 6f 73 65 0a 64 62 32 20 63 6c 6f 73 65 _close.db2 close
0350: 0a 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ...#------------
0360: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0370: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0380: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0390: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 23 20 -------------.#
03a0: 54 65 73 74 20 4f 4f 4d 20 65 72 72 6f 72 20 68 Test OOM error h
03b0: 61 6e 64 6c 69 6e 67 20 77 68 65 6e 20 63 6f 6c andling when col
03c0: 6c 65 63 74 69 6e 67 20 61 6e 64 20 61 70 70 6c lecting and appl
03d0: 79 69 6e 67 20 61 20 73 69 6d 70 6c 65 20 63 68 ying a simple ch
03e0: 61 6e 67 65 73 65 74 2e 0a 23 0a 23 20 54 65 73 angeset..#.# Tes
03f0: 74 20 31 2e 31 20 61 74 74 61 63 68 65 73 20 74 t 1.1 attaches t
0400: 61 62 6c 65 73 20 69 6e 64 69 76 69 64 75 61 6c ables individual
0410: 6c 79 20 62 79 20 6e 61 6d 65 20 74 6f 20 74 68 ly by name to th
0420: 65 20 73 65 73 73 69 6f 6e 20 6f 62 6a 65 63 74 e session object
0430: 2e 20 0a 23 20 57 68 65 72 65 61 73 20 74 65 73 . .# Whereas tes
0440: 74 20 31 2e 32 20 70 61 73 73 65 73 20 4e 55 4c t 1.2 passes NUL
0450: 4c 20 74 6f 20 73 71 6c 69 74 65 33 73 65 73 73 L to sqlite3sess
0460: 69 6f 6e 5f 61 74 74 61 63 68 28 29 20 74 6f 20 ion_attach() to
0470: 61 74 74 61 63 68 20 61 6c 6c 0a 23 20 74 61 62 attach all.# tab
0480: 6c 65 73 2e 0a 23 0a 64 6f 5f 66 61 75 6c 74 73 les..#.do_faults
0490: 69 6d 5f 74 65 73 74 20 31 2e 31 20 2d 66 61 75 im_test 1.1 -fau
04a0: 6c 74 73 20 6f 6f 6d 2d 2a 20 2d 70 72 65 70 20 lts oom-* -prep
04b0: 7b 0a 20 20 63 61 74 63 68 20 7b 64 62 32 20 63 {. catch {db2 c
04c0: 6c 6f 73 65 7d 0a 20 20 63 61 74 63 68 20 7b 64 lose}. catch {d
04d0: 62 20 63 6c 6f 73 65 7d 0a 20 20 66 61 75 6c 74 b close}. fault
04e0: 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61 6e 64 5f sim_restore_and_
04f0: 72 65 6f 70 65 6e 0a 20 20 73 71 6c 69 74 65 33 reopen. sqlite3
0500: 20 64 62 32 20 74 65 73 74 2e 64 62 32 0a 7d 20 db2 test.db2.}
0510: 2d 62 6f 64 79 20 7b 0a 20 20 64 6f 5f 74 68 65 -body {. do_the
0520: 6e 5f 61 70 70 6c 79 5f 73 71 6c 20 7b 0a 20 20 n_apply_sql {.
0530: 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 INSERT INTO t1
0540: 20 56 41 4c 55 45 53 28 27 61 20 73 74 72 69 6e VALUES('a strin
0550: 67 20 76 61 6c 75 65 27 2c 20 38 2c 20 39 29 3b g value', 8, 9);
0560: 0a 20 20 20 20 55 50 44 41 54 45 20 74 31 20 53 . UPDATE t1 S
0570: 45 54 20 63 20 3d 20 31 30 20 57 48 45 52 45 20 ET c = 10 WHERE
0580: 61 20 3d 20 31 3b 0a 20 20 20 20 44 45 4c 45 54 a = 1;. DELET
0590: 45 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 E FROM t1 WHERE
05a0: 61 20 3d 20 34 3b 0a 20 20 7d 0a 7d 20 2d 74 65 a = 4;. }.} -te
05b0: 73 74 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f st {. faultsim_
05c0: 74 65 73 74 5f 72 65 73 75 6c 74 20 7b 30 20 7b test_result {0 {
05d0: 7d 7d 20 7b 31 20 53 51 4c 49 54 45 5f 4e 4f 4d }} {1 SQLITE_NOM
05e0: 45 4d 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 69 EM}. faultsim_i
05f0: 6e 74 65 67 72 69 74 79 5f 63 68 65 63 6b 0a 20 ntegrity_check.
0600: 20 69 66 20 7b 24 74 65 73 74 72 63 3d 3d 30 7d if {$testrc==0}
0610: 20 7b 20 63 6f 6d 70 61 72 65 5f 64 62 20 64 62 { compare_db db
0620: 20 64 62 32 20 7d 0a 7d 0a 0a 64 6f 5f 66 61 75 db2 }.}..do_fau
0630: 6c 74 73 69 6d 5f 74 65 73 74 20 31 2e 32 20 2d ltsim_test 1.2 -
0640: 66 61 75 6c 74 73 20 6f 6f 6d 2d 2a 20 2d 70 72 faults oom-* -pr
0650: 65 70 20 7b 0a 20 20 63 61 74 63 68 20 7b 64 62 ep {. catch {db
0660: 32 20 63 6c 6f 73 65 7d 0a 20 20 63 61 74 63 68 2 close}. catch
0670: 20 7b 64 62 20 63 6c 6f 73 65 7d 0a 20 20 66 61 {db close}. fa
0680: 75 6c 74 73 69 6d 5f 72 65 73 74 6f 72 65 5f 61 ultsim_restore_a
0690: 6e 64 5f 72 65 6f 70 65 6e 0a 7d 20 2d 62 6f 64 nd_reopen.} -bod
06a0: 79 20 7b 0a 20 20 73 71 6c 69 74 65 33 73 65 73 y {. sqlite3ses
06b0: 73 69 6f 6e 20 53 20 64 62 20 6d 61 69 6e 0a 20 sion S db main.
06c0: 20 53 20 61 74 74 61 63 68 20 2a 0a 20 20 65 78 S attach *. ex
06d0: 65 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 ecsql {. INSE
06e0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 RT INTO t1 VALUE
06f0: 53 28 27 61 20 73 74 72 69 6e 67 20 76 61 6c 75 S('a string valu
0700: 65 27 2c 20 38 2c 20 39 29 3b 0a 20 20 20 20 55 e', 8, 9);. U
0710: 50 44 41 54 45 20 74 31 20 53 45 54 20 63 20 3d PDATE t1 SET c =
0720: 20 31 30 20 57 48 45 52 45 20 61 20 3d 20 31 3b 10 WHERE a = 1;
0730: 0a 20 20 20 20 44 45 4c 45 54 45 20 46 52 4f 4d . DELETE FROM
0740: 20 74 31 20 57 48 45 52 45 20 61 20 3d 20 34 3b t1 WHERE a = 4;
0750: 0a 20 20 7d 0a 20 20 73 65 74 20 3a 3a 63 68 61 . }. set ::cha
0760: 6e 67 65 73 65 74 20 5b 53 20 63 68 61 6e 67 65 ngeset [S change
0770: 73 65 74 5d 0a 20 20 73 65 74 20 7b 7d 20 7b 7d set]. set {} {}
0780: 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 63 61 74 .} -test {. cat
0790: 63 68 20 7b 20 53 20 64 65 6c 65 74 65 20 7d 0a ch { S delete }.
07a0: 20 20 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 5f faultsim_test_
07b0: 72 65 73 75 6c 74 20 7b 30 20 7b 7d 7d 20 7b 31 result {0 {}} {1
07c0: 20 53 51 4c 49 54 45 5f 4e 4f 4d 45 4d 7d 0a 20 SQLITE_NOMEM}.
07d0: 20 66 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72 faultsim_integr
07e0: 69 74 79 5f 63 68 65 63 6b 0a 20 20 69 66 20 7b ity_check. if {
07f0: 24 74 65 73 74 72 63 3d 3d 30 7d 20 7b 20 0a 20 $testrc==0} { .
0800: 20 20 20 70 72 6f 63 20 78 43 6f 6e 66 6c 69 63 proc xConflic
0810: 74 20 7b 61 72 67 73 7d 20 7b 20 72 65 74 75 72 t {args} { retur
0820: 6e 20 22 4f 4d 49 54 22 20 7d 0a 20 20 20 20 73 n "OMIT" }. s
0830: 71 6c 69 74 65 33 20 64 62 32 20 74 65 73 74 2e qlite3 db2 test.
0840: 64 62 32 0a 20 20 20 20 73 71 6c 69 74 65 33 63 db2. sqlite3c
0850: 68 61 6e 67 65 73 65 74 5f 61 70 70 6c 79 20 64 hangeset_apply d
0860: 62 32 20 24 3a 3a 63 68 61 6e 67 65 73 65 74 20 b2 $::changeset
0870: 78 43 6f 6e 66 6c 69 63 74 0a 20 20 20 20 63 6f xConflict. co
0880: 6d 70 61 72 65 5f 64 62 20 64 62 20 64 62 32 20 mpare_db db db2
0890: 0a 20 20 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d . }.}..#-------
08a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08e0: 2d 2d 0a 23 20 54 68 65 20 66 6f 6c 6c 6f 77 69 --.# The followi
08f0: 6e 67 20 62 6c 6f 63 6b 20 6f 66 20 74 65 73 74 ng block of test
0900: 73 20 2d 20 32 2e 2a 20 2d 20 61 72 65 20 64 65 s - 2.* - are de
0910: 73 69 67 6e 65 64 20 74 6f 20 63 68 65 63 6b 20 signed to check
0920: 0a 23 20 74 68 65 20 68 61 6e 64 6c 69 6e 67 20 .# the handling
0930: 6f 66 20 66 61 75 6c 74 73 20 69 6e 20 74 68 65 of faults in the
0940: 20 73 71 6c 69 74 65 33 63 68 61 6e 67 65 73 65 sqlite3changese
0950: 74 5f 61 70 70 6c 79 28 29 20 66 75 6e 63 74 69 t_apply() functi
0960: 6f 6e 2e 0a 23 0a 63 61 74 63 68 20 7b 64 62 20 on..#.catch {db
0970: 63 6c 6f 73 65 7d 0a 63 61 74 63 68 20 7b 64 62 close}.catch {db
0980: 32 20 63 6c 6f 73 65 7d 0a 66 6f 72 63 65 64 65 2 close}.forcede
0990: 6c 65 74 65 20 74 65 73 74 2e 64 62 32 20 74 65 lete test.db2 te
09a0: 73 74 2e 64 62 0a 73 71 6c 69 74 65 33 20 64 62 st.db.sqlite3 db
09b0: 32 20 74 65 73 74 2e 64 62 32 0a 73 71 6c 69 74 2 test.db2.sqlit
09c0: 65 33 20 64 62 20 74 65 73 74 2e 64 62 0a 64 6f e3 db test.db.do
09d0: 5f 63 6f 6d 6d 6f 6e 5f 73 71 6c 20 7b 0a 20 20 _common_sql {.
09e0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 CREATE TABLE t1(
09f0: 61 2c 20 62 2c 20 63 2c 20 50 52 49 4d 41 52 59 a, b, c, PRIMARY
0a00: 20 4b 45 59 28 61 2c 20 62 29 29 3b 0a 20 20 49 KEY(a, b));. I
0a10: 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 NSERT INTO t1 VA
0a20: 4c 55 45 53 28 27 61 70 70 6c 65 27 2c 20 27 6f LUES('apple', 'o
0a30: 72 61 6e 67 65 27 2c 20 27 70 65 61 72 27 29 3b range', 'pear');
0a40: 0a 0a 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 .. CREATE TABLE
0a50: 20 74 32 28 78 20 50 52 49 4d 41 52 59 20 4b 45 t2(x PRIMARY KE
0a60: 59 2c 20 79 29 3b 0a 7d 0a 64 62 32 20 63 6c 6f Y, y);.}.db2 clo
0a70: 73 65 0a 66 61 75 6c 74 73 69 6d 5f 73 61 76 65 se.faultsim_save
0a80: 5f 61 6e 64 5f 63 6c 6f 73 65 0a 0a 0a 66 6f 72 _and_close...for
0a90: 65 61 63 68 20 7b 74 6e 20 63 6f 6e 66 6c 69 63 each {tn conflic
0aa0: 74 5f 70 6f 6c 69 63 79 20 73 71 6c 20 73 71 6c t_policy sql sql
0ab0: 32 7d 20 7b 0a 20 20 31 20 4f 4d 49 54 20 7b 20 2} {. 1 OMIT {
0ac0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 INSERT INTO t1 V
0ad0: 41 4c 55 45 53 28 27 6f 6e 65 20 74 65 78 74 27 ALUES('one text'
0ae0: 2c 20 27 74 77 6f 20 74 65 78 74 27 2c 20 58 27 , 'two text', X'
0af0: 30 30 66 66 30 30 27 29 20 7d 20 7b 7d 0a 20 20 00ff00') } {}.
0b00: 32 20 4f 4d 49 54 20 7b 20 44 45 4c 45 54 45 20 2 OMIT { DELETE
0b10: 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 20 FROM t1 WHERE a
0b20: 3d 20 27 61 70 70 6c 65 27 20 7d 20 20 20 20 20 = 'apple' }
0b30: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0b40: 20 20 20 20 7b 7d 0a 20 20 33 20 4f 4d 49 54 20 {}. 3 OMIT
0b50: 7b 20 55 50 44 41 54 45 20 74 31 20 53 45 54 20 { UPDATE t1 SET
0b60: 63 20 3d 20 27 62 61 6e 61 6e 61 27 20 57 48 45 c = 'banana' WHE
0b70: 52 45 20 62 20 3d 20 27 6f 72 61 6e 67 65 27 20 RE b = 'orange'
0b80: 7d 20 20 20 20 20 20 20 20 20 20 20 20 7b 7d 0a } {}.
0b90: 20 20 34 20 52 45 50 4c 41 43 45 20 7b 20 49 4e 4 REPLACE { IN
0ba0: 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41 4c SERT INTO t2 VAL
0bb0: 55 45 53 28 27 6b 65 79 76 61 6c 75 65 27 2c 20 UES('keyvalue',
0bc0: 27 76 61 6c 75 65 20 31 27 29 20 7d 20 7b 0a 20 'value 1') } {.
0bd0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 INSERT INTO t
0be0: 32 20 56 41 4c 55 45 53 28 27 6b 65 79 76 61 6c 2 VALUES('keyval
0bf0: 75 65 27 2c 20 27 76 61 6c 75 65 20 32 27 29 3b ue', 'value 2');
0c00: 0a 20 20 7d 0a 7d 20 7b 0a 20 20 70 72 6f 63 20 . }.} {. proc
0c10: 78 43 6f 6e 66 6c 69 63 74 20 61 72 67 73 20 5b xConflict args [
0c20: 6c 69 73 74 20 72 65 74 75 72 6e 20 24 63 6f 6e list return $con
0c30: 66 6c 69 63 74 5f 70 6f 6c 69 63 79 5d 0a 0a 20 flict_policy]..
0c40: 20 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73 do_faultsim_tes
0c50: 74 20 32 2e 24 74 6e 20 2d 66 61 75 6c 74 73 20 t 2.$tn -faults
0c60: 6f 6f 6d 2d 74 72 61 6e 73 69 65 6e 74 20 2d 70 oom-transient -p
0c70: 72 65 70 20 7b 0a 20 20 20 20 63 61 74 63 68 20 rep {. catch
0c80: 7b 64 62 32 20 63 6c 6f 73 65 7d 0a 20 20 20 20 {db2 close}.
0c90: 63 61 74 63 68 20 7b 64 62 20 63 6c 6f 73 65 7d catch {db close}
0ca0: 0a 20 20 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 . faultsim_re
0cb0: 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e store_and_reopen
0cc0: 0a 20 20 20 20 73 65 74 20 3a 3a 63 68 61 6e 67 . set ::chang
0cd0: 65 73 65 74 20 5b 63 68 61 6e 67 65 73 65 74 5f eset [changeset_
0ce0: 66 72 6f 6d 5f 73 71 6c 20 24 3a 3a 73 71 6c 5d from_sql $::sql]
0cf0: 0a 20 20 20 20 73 71 6c 69 74 65 33 20 64 62 32 . sqlite3 db2
0d00: 20 74 65 73 74 2e 64 62 32 0a 20 20 20 20 73 71 test.db2. sq
0d10: 6c 69 74 65 33 5f 64 62 5f 63 6f 6e 66 69 67 5f lite3_db_config_
0d20: 6c 6f 6f 6b 61 73 69 64 65 20 64 62 32 20 30 20 lookaside db2 0
0d30: 30 20 30 0a 20 20 20 20 65 78 65 63 73 71 6c 20 0 0. execsql
0d40: 24 3a 3a 73 71 6c 32 20 64 62 32 0a 20 20 7d 20 $::sql2 db2. }
0d50: 2d 62 6f 64 79 20 7b 0a 20 20 20 20 73 71 6c 69 -body {. sqli
0d60: 74 65 33 63 68 61 6e 67 65 73 65 74 5f 61 70 70 te3changeset_app
0d70: 6c 79 20 64 62 32 20 24 3a 3a 63 68 61 6e 67 65 ly db2 $::change
0d80: 73 65 74 20 78 43 6f 6e 66 6c 69 63 74 0a 20 20 set xConflict.
0d90: 7d 20 2d 74 65 73 74 20 7b 0a 20 20 20 20 66 61 } -test {. fa
0da0: 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75 ultsim_test_resu
0db0: 6c 74 20 7b 30 20 7b 7d 7d 20 7b 31 20 53 51 4c lt {0 {}} {1 SQL
0dc0: 49 54 45 5f 4e 4f 4d 45 4d 7d 0a 20 20 20 20 66 ITE_NOMEM}. f
0dd0: 61 75 6c 74 73 69 6d 5f 69 6e 74 65 67 72 69 74 aultsim_integrit
0de0: 79 5f 63 68 65 63 6b 0a 20 20 20 20 69 66 20 7b y_check. if {
0df0: 24 74 65 73 74 72 63 3d 3d 30 7d 20 7b 20 63 6f $testrc==0} { co
0e00: 6d 70 61 72 65 5f 64 62 20 64 62 20 64 62 32 20 mpare_db db db2
0e10: 7d 0a 20 20 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d }. }.}..#------
0e20: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0e30: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0e40: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0e50: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0e60: 2d 2d 2d 0a 23 20 54 68 69 73 20 74 65 73 74 20 ---.# This test
0e70: 63 61 73 65 20 69 73 20 64 65 73 69 67 6e 65 64 case is designed
0e80: 20 73 6f 20 74 68 61 74 20 61 20 6d 61 6c 6c 6f so that a mallo
0e90: 63 28 29 20 66 61 69 6c 75 72 65 20 6f 63 63 75 c() failure occu
0ea0: 72 73 20 77 68 69 6c 65 0a 23 20 72 65 73 69 7a rs while.# resiz
0eb0: 69 6e 67 20 74 68 65 20 73 65 73 73 69 6f 6e 20 ing the session
0ec0: 6f 62 6a 65 63 74 20 68 61 73 68 2d 74 61 62 6c object hash-tabl
0ed0: 65 20 66 72 6f 6d 20 32 35 36 20 74 6f 20 35 31 e from 256 to 51
0ee0: 32 20 62 75 63 6b 65 74 73 2e 20 54 68 69 73 0a 2 buckets. This.
0ef0: 23 20 69 73 20 6e 6f 74 20 61 6e 20 65 72 72 6f # is not an erro
0f00: 72 2c 20 6a 75 73 74 20 61 20 73 75 62 2d 6f 70 r, just a sub-op
0f10: 74 69 6d 61 6c 20 63 6f 6e 64 69 74 69 6f 6e 2e timal condition.
0f20: 0a 23 0a 64 6f 5f 66 61 75 6c 74 73 69 6d 5f 74 .#.do_faultsim_t
0f30: 65 73 74 20 33 20 2d 66 61 75 6c 74 73 20 6f 6f est 3 -faults oo
0f40: 6d 2d 2a 20 2d 70 72 65 70 20 7b 0a 20 20 63 61 m-* -prep {. ca
0f50: 74 63 68 20 7b 64 62 32 20 63 6c 6f 73 65 7d 0a tch {db2 close}.
0f60: 20 20 63 61 74 63 68 20 7b 64 62 20 63 6c 6f 73 catch {db clos
0f70: 65 7d 0a 20 20 66 61 75 6c 74 73 69 6d 5f 72 65 e}. faultsim_re
0f80: 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f 70 65 6e store_and_reopen
0f90: 0a 20 20 73 71 6c 69 74 65 33 20 64 62 32 20 74 . sqlite3 db2 t
0fa0: 65 73 74 2e 64 62 32 0a 0a 20 20 73 71 6c 69 74 est.db2.. sqlit
0fb0: 65 33 73 65 73 73 69 6f 6e 20 53 20 64 62 20 6d e3session S db m
0fc0: 61 69 6e 0a 20 20 53 20 61 74 74 61 63 68 20 74 ain. S attach t
0fd0: 31 0a 20 20 65 78 65 63 73 71 6c 20 7b 20 42 45 1. execsql { BE
0fe0: 47 49 4e 20 7d 0a 20 20 66 6f 72 20 7b 73 65 74 GIN }. for {set
0ff0: 20 69 20 30 7d 20 7b 24 69 20 3c 20 31 32 35 7d i 0} {$i < 125}
1000: 20 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20 20 20 {incr i} {.
1010: 65 78 65 63 73 71 6c 20 7b 49 4e 53 45 52 54 20 execsql {INSERT
1020: 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 INTO t1 VALUES(1
1030: 30 2b 24 69 2c 20 31 30 2b 24 69 2c 20 31 30 2b 0+$i, 10+$i, 10+
1040: 24 69 29 7d 0a 20 20 7d 0a 7d 20 2d 62 6f 64 79 $i)}. }.} -body
1050: 20 7b 0a 20 20 66 6f 72 20 7b 73 65 74 20 69 20 {. for {set i
1060: 31 32 35 7d 20 7b 24 69 20 3c 20 31 33 33 7d 20 125} {$i < 133}
1070: 7b 69 6e 63 72 20 69 7d 20 7b 0a 20 20 20 20 65 {incr i} {. e
1080: 78 65 63 73 71 6c 20 7b 49 4e 53 45 52 54 20 49 xecsql {INSERT I
1090: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 31 30 NTO t1 VALUES(10
10a0: 2b 24 69 2c 20 31 30 2b 24 69 2c 20 31 2d 2b 24 +$i, 10+$i, 1-+$
10b0: 69 29 7d 0a 20 20 7d 0a 20 20 53 20 63 68 61 6e i)}. }. S chan
10c0: 67 65 73 65 74 0a 20 20 73 65 74 20 7b 7d 20 7b geset. set {} {
10d0: 7d 0a 7d 20 2d 74 65 73 74 20 7b 0a 20 20 66 61 }.} -test {. fa
10e0: 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 75 ultsim_test_resu
10f0: 6c 74 20 7b 30 20 7b 7d 7d 20 7b 31 20 53 51 4c lt {0 {}} {1 SQL
1100: 49 54 45 5f 4e 4f 4d 45 4d 7d 0a 20 20 69 66 20 ITE_NOMEM}. if
1110: 7b 24 74 65 73 74 72 63 3d 3d 30 7d 20 7b 20 0a {$testrc==0} { .
1120: 20 20 20 20 73 71 6c 69 74 65 33 63 68 61 6e 67 sqlite3chang
1130: 65 73 65 74 5f 61 70 70 6c 79 20 64 62 32 20 5b eset_apply db2 [
1140: 53 20 63 68 61 6e 67 65 73 65 74 5d 20 78 43 6f S changeset] xCo
1150: 6e 66 6c 69 63 74 0a 20 20 20 20 63 6f 6d 70 61 nflict. compa
1160: 72 65 5f 64 62 20 64 62 20 64 62 32 20 0a 20 20 re_db db db2 .
1170: 7d 0a 20 20 63 61 74 63 68 20 7b 20 53 20 64 65 }. catch { S de
1180: 6c 65 74 65 20 7d 0a 20 20 66 61 75 6c 74 73 69 lete }. faultsi
1190: 6d 5f 69 6e 74 65 67 72 69 74 79 5f 63 68 65 63 m_integrity_chec
11a0: 6b 0a 7d 0a 0a 63 61 74 63 68 20 7b 20 64 62 20 k.}..catch { db
11b0: 63 6c 6f 73 65 20 7d 0a 63 61 74 63 68 20 7b 20 close }.catch {
11c0: 64 62 32 20 63 6c 6f 73 65 20 7d 0a 66 6f 72 63 db2 close }.forc
11d0: 65 64 65 6c 65 74 65 20 74 65 73 74 2e 64 62 32 edelete test.db2
11e0: 20 74 65 73 74 2e 64 62 0a 73 71 6c 69 74 65 33 test.db.sqlite3
11f0: 20 64 62 32 20 74 65 73 74 2e 64 62 32 0a 73 71 db2 test.db2.sq
1200: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 lite3 db test.db
1210: 0a 0a 70 72 6f 63 20 78 43 6f 6e 66 6c 69 63 74 ..proc xConflict
1220: 20 7b 6f 70 20 74 62 6c 20 74 79 70 65 20 61 72 {op tbl type ar
1230: 67 73 7d 20 7b 0a 20 20 69 66 20 7b 20 24 74 79 gs} {. if { $ty
1240: 70 65 3d 3d 22 43 4f 4e 46 4c 49 43 54 22 20 7c pe=="CONFLICT" |
1250: 7c 20 24 74 79 70 65 3d 3d 22 44 41 54 41 22 20 | $type=="DATA"
1260: 7d 20 7b 0a 20 20 20 20 72 65 74 75 72 6e 20 22 } {. return "
1270: 52 45 50 4c 41 43 45 22 0a 20 20 7d 0a 20 20 72 REPLACE". }. r
1280: 65 74 75 72 6e 20 22 4f 4d 49 54 22 0a 7d 0a 0a eturn "OMIT".}..
1290: 64 6f 5f 74 65 73 74 20 34 2e 30 20 7b 0a 20 20 do_test 4.0 {.
12a0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 50 52 execsql {. PR
12b0: 41 47 4d 41 20 65 6e 63 6f 64 69 6e 67 20 3d 20 AGMA encoding =
12c0: 27 75 74 66 31 36 27 3b 0a 20 20 20 20 43 52 45 'utf16';. CRE
12d0: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 20 50 ATE TABLE t1(a P
12e0: 52 49 4d 41 52 59 20 4b 45 59 2c 20 62 29 3b 0a RIMARY KEY, b);.
12f0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 INSERT INTO
1300: 74 31 20 56 41 4c 55 45 53 28 35 2c 20 33 32 29 t1 VALUES(5, 32)
1310: 3b 0a 20 20 7d 0a 20 20 65 78 65 63 73 71 6c 20 ;. }. execsql
1320: 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 65 6e 63 {. PRAGMA enc
1330: 6f 64 69 6e 67 20 3d 20 27 75 74 66 31 36 27 3b oding = 'utf16';
1340: 0a 20 20 20 20 43 52 45 41 54 45 20 54 41 42 4c . CREATE TABL
1350: 45 20 74 31 28 61 20 50 52 49 4d 41 52 59 20 4b E t1(a PRIMARY K
1360: 45 59 2c 20 62 20 4e 4f 54 20 4e 55 4c 4c 29 3b EY, b NOT NULL);
1370: 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f . INSERT INTO
1380: 20 74 31 20 56 41 4c 55 45 53 28 31 2c 20 32 29 t1 VALUES(1, 2)
1390: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 ;. INSERT INT
13a0: 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c 20 34 O t1 VALUES(2, 4
13b0: 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e );. INSERT IN
13c0: 54 4f 20 74 31 20 56 41 4c 55 45 53 28 34 2c 20 TO t1 VALUES(4,
13d0: 31 36 29 3b 0a 20 20 7d 20 64 62 32 0a 7d 20 7b 16);. } db2.} {
13e0: 7d 0a 0a 66 61 75 6c 74 73 69 6d 5f 73 61 76 65 }..faultsim_save
13f0: 5f 61 6e 64 5f 63 6c 6f 73 65 0a 64 62 32 20 63 _and_close.db2 c
1400: 6c 6f 73 65 0a 0a 64 6f 5f 66 61 75 6c 74 73 69 lose..do_faultsi
1410: 6d 5f 74 65 73 74 20 34 20 2d 66 61 75 6c 74 73 m_test 4 -faults
1420: 20 6f 6f 6d 2d 2a 20 2d 70 72 65 70 20 7b 0a 20 oom-* -prep {.
1430: 20 63 61 74 63 68 20 7b 64 62 32 20 63 6c 6f 73 catch {db2 clos
1440: 65 7d 0a 20 20 63 61 74 63 68 20 7b 64 62 20 63 e}. catch {db c
1450: 6c 6f 73 65 7d 0a 20 20 66 61 75 6c 74 73 69 6d lose}. faultsim
1460: 5f 72 65 73 74 6f 72 65 5f 61 6e 64 5f 72 65 6f _restore_and_reo
1470: 70 65 6e 0a 20 20 73 71 6c 69 74 65 33 20 64 62 pen. sqlite3 db
1480: 32 20 74 65 73 74 2e 64 62 32 0a 20 20 73 71 6c 2 test.db2. sql
1490: 69 74 65 33 73 65 73 73 69 6f 6e 20 53 20 64 62 ite3session S db
14a0: 20 6d 61 69 6e 0a 20 20 53 20 61 74 74 61 63 68 main. S attach
14b0: 20 74 31 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a t1. execsql {.
14c0: 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 INSERT INTO
14d0: 74 31 20 56 41 4c 55 45 53 28 31 2c 20 34 35 29 t1 VALUES(1, 45)
14e0: 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54 ;. INSERT INT
14f0: 4f 20 74 31 20 56 41 4c 55 45 53 28 32 2c 20 35 O t1 VALUES(2, 5
1500: 35 29 3b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 5);. INSERT I
1510: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 33 2c NTO t1 VALUES(3,
1520: 20 35 35 29 3b 0a 20 20 20 20 55 50 44 41 54 45 55);. UPDATE
1530: 20 74 31 20 53 45 54 20 61 20 3d 20 34 20 57 48 t1 SET a = 4 WH
1540: 45 52 45 20 61 20 3d 20 35 3b 0a 20 20 7d 0a 7d ERE a = 5;. }.}
1550: 20 2d 62 6f 64 79 20 7b 0a 20 20 73 71 6c 69 74 -body {. sqlit
1560: 65 33 63 68 61 6e 67 65 73 65 74 5f 61 70 70 6c e3changeset_appl
1570: 79 20 64 62 32 20 5b 53 20 63 68 61 6e 67 65 73 y db2 [S changes
1580: 65 74 5d 20 78 43 6f 6e 66 6c 69 63 74 0a 7d 20 et] xConflict.}
1590: 2d 74 65 73 74 20 7b 0a 20 20 63 61 74 63 68 20 -test {. catch
15a0: 7b 20 53 20 64 65 6c 65 74 65 20 7d 0a 20 20 66 { S delete }. f
15b0: 61 75 6c 74 73 69 6d 5f 74 65 73 74 5f 72 65 73 aultsim_test_res
15c0: 75 6c 74 20 7b 30 20 7b 7d 7d 20 7b 31 20 53 51 ult {0 {}} {1 SQ
15d0: 4c 49 54 45 5f 4e 4f 4d 45 4d 7d 0a 20 20 69 66 LITE_NOMEM}. if
15e0: 20 7b 24 74 65 73 74 72 63 3d 3d 30 7d 20 7b 20 {$testrc==0} {
15f0: 63 6f 6d 70 61 72 65 5f 64 62 20 64 62 20 64 62 compare_db db db
1600: 32 20 7d 0a 7d 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2 }.}..#--------
1610: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1620: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1630: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1640: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
1650: 2d 0a 23 20 54 68 69 73 20 62 6c 6f 63 6b 20 6f -.# This block o
1660: 66 20 74 65 73 74 73 20 76 65 72 69 66 69 65 73 f tests verifies
1670: 20 74 68 61 74 20 4f 4f 4d 20 66 61 75 6c 74 73 that OOM faults
1680: 20 69 6e 20 74 68 65 20 0a 23 20 73 71 6c 69 74 in the .# sqlit
1690: 65 33 63 68 61 6e 67 65 73 65 74 5f 69 6e 76 65 e3changeset_inve
16a0: 72 74 28 29 20 66 75 6e 63 74 69 6f 6e 20 61 72 rt() function ar
16b0: 65 20 68 61 6e 64 6c 65 64 20 63 6f 72 72 65 63 e handled correc
16c0: 74 6c 79 2e 0a 23 0a 63 61 74 63 68 20 7b 64 62 tly..#.catch {db
16d0: 20 63 6c 6f 73 65 7d 0a 63 61 74 63 68 20 7b 64 close}.catch {d
16e0: 62 32 20 63 6c 6f 73 65 7d 0a 66 6f 72 63 65 64 b2 close}.forced
16f0: 65 6c 65 74 65 20 74 65 73 74 2e 64 62 0a 73 71 elete test.db.sq
1700: 6c 69 74 65 33 20 64 62 20 74 65 73 74 2e 64 62 lite3 db test.db
1710: 0a 65 78 65 63 73 71 6c 20 7b 0a 20 20 43 52 45 .execsql {. CRE
1720: 41 54 45 20 54 41 42 4c 45 20 74 31 28 61 2c 20 ATE TABLE t1(a,
1730: 62 2c 20 50 52 49 4d 41 52 59 20 4b 45 59 28 62 b, PRIMARY KEY(b
1740: 29 29 3b 0a 20 20 43 52 45 41 54 45 20 54 41 42 ));. CREATE TAB
1750: 4c 45 20 74 32 28 61 20 50 52 49 4d 41 52 59 20 LE t2(a PRIMARY
1760: 4b 45 59 2c 20 62 29 3b 0a 20 20 49 4e 53 45 52 KEY, b);. INSER
1770: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 T INTO t1 VALUES
1780: 28 27 73 74 72 69 6e 67 27 2c 20 31 29 3b 0a 20 ('string', 1);.
1790: 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 INSERT INTO t1
17a0: 56 41 4c 55 45 53 28 34 2c 20 32 29 3b 0a 20 20 VALUES(4, 2);.
17b0: 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 31 20 56 INSERT INTO t1 V
17c0: 41 4c 55 45 53 28 58 27 46 46 41 41 46 46 41 41 ALUES(X'FFAAFFAA
17d0: 46 46 41 41 27 2c 20 33 29 3b 0a 7d 0a 73 65 74 FFAA', 3);.}.set
17e0: 20 63 68 61 6e 67 65 73 65 74 20 5b 63 68 61 6e changeset [chan
17f0: 67 65 73 65 74 5f 66 72 6f 6d 5f 73 71 6c 20 7b geset_from_sql {
1800: 0a 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74 . INSERT INTO t
1810: 31 20 56 41 4c 55 45 53 28 27 78 78 78 27 2c 20 1 VALUES('xxx',
1820: 27 79 79 79 27 29 3b 0a 20 20 44 45 4c 45 54 45 'yyy');. DELETE
1830: 20 46 52 4f 4d 20 74 31 20 57 48 45 52 45 20 61 FROM t1 WHERE a
1840: 20 3d 20 27 73 74 72 69 6e 67 27 3b 0a 20 20 55 = 'string';. U
1850: 50 44 41 54 45 20 74 31 20 53 45 54 20 61 20 3d PDATE t1 SET a =
1860: 20 32 30 20 57 48 45 52 45 20 62 20 3d 20 32 3b 20 WHERE b = 2;
1870: 0a 7d 5d 0a 64 62 20 63 6c 6f 73 65 0a 0a 64 6f .}].db close..do
1880: 5f 66 61 75 6c 74 73 69 6d 5f 74 65 73 74 20 35 _faultsim_test 5
1890: 20 2d 66 61 75 6c 74 73 20 6f 6f 6d 2a 20 2d 62 -faults oom* -b
18a0: 6f 64 79 20 7b 0a 20 20 73 65 74 20 3a 3a 69 6e ody {. set ::in
18b0: 76 65 72 73 65 20 5b 73 71 6c 69 74 65 33 63 68 verse [sqlite3ch
18c0: 61 6e 67 65 73 65 74 5f 69 6e 76 65 72 74 20 24 angeset_invert $
18d0: 3a 3a 63 68 61 6e 67 65 73 65 74 5d 0a 20 20 73 ::changeset]. s
18e0: 65 74 20 7b 7d 20 7b 7d 0a 7d 20 2d 74 65 73 74 et {} {}.} -test
18f0: 20 7b 0a 20 20 66 61 75 6c 74 73 69 6d 5f 74 65 {. faultsim_te
1900: 73 74 5f 72 65 73 75 6c 74 20 7b 30 20 7b 7d 7d st_result {0 {}}
1910: 20 7b 31 20 53 51 4c 49 54 45 5f 4e 4f 4d 45 4d {1 SQLITE_NOMEM
1920: 7d 0a 20 20 69 66 20 7b 24 74 65 73 74 72 63 3d }. if {$testrc=
1930: 3d 30 7d 20 7b 0a 20 20 20 20 73 65 74 20 78 20 =0} {. set x
1940: 5b 6c 69 73 74 5d 0a 20 20 20 20 73 71 6c 69 74 [list]. sqlit
1950: 65 33 73 65 73 73 69 6f 6e 5f 66 6f 72 65 61 63 e3session_foreac
1960: 68 20 63 20 24 3a 3a 69 6e 76 65 72 73 65 20 7b h c $::inverse {
1970: 20 6c 61 70 70 65 6e 64 20 78 20 24 63 20 7d 0a lappend x $c }.
1980: 20 20 20 20 66 6f 72 65 61 63 68 20 63 20 7b 0a foreach c {.
1990: 20 20 20 20 20 20 20 20 7b 44 45 4c 45 54 45 20 {DELETE
19a0: 74 31 20 30 20 2e 58 20 7b 74 20 78 78 78 20 74 t1 0 .X {t xxx t
19b0: 20 79 79 79 7d 20 7b 7d 7d 20 0a 20 20 20 20 20 yyy} {}} .
19c0: 20 20 20 7b 49 4e 53 45 52 54 20 74 31 20 30 20 {INSERT t1 0
19d0: 2e 58 20 7b 7d 20 7b 74 20 73 74 72 69 6e 67 20 .X {} {t string
19e0: 69 20 31 7d 7d 20 0a 20 20 20 20 20 20 20 20 7b i 1}} . {
19f0: 55 50 44 41 54 45 20 74 31 20 30 20 2e 58 20 7b UPDATE t1 0 .X {
1a00: 69 20 32 30 20 7b 7d 20 7b 7d 7d 20 7b 69 20 34 i 20 {} {}} {i 4
1a10: 20 69 20 32 7d 7d 0a 20 20 20 20 7d 20 7b 20 6c i 2}}. } { l
1a20: 61 70 70 65 6e 64 20 79 20 24 63 20 7d 0a 20 20 append y $c }.
1a30: 20 20 69 66 20 7b 24 78 20 21 3d 20 24 79 7d 20 if {$x != $y}
1a40: 7b 20 65 72 72 6f 72 20 22 63 68 61 6e 67 65 73 { error "changes
1a50: 65 74 20 6e 6f 20 67 6f 6f 64 22 20 7d 0a 20 20 et no good" }.
1a60: 7d 0a 7d 0a 0a 66 69 6e 69 73 68 5f 74 65 73 74 }.}..finish_test
1a70: 0a .