/ Hex Artifact Content
Login

Artifact 024ed399600b799160378cf9d9f436bdf5dfd184:


0000: 23 20 32 30 30 35 20 4e 6f 76 65 6d 62 65 72 20  # 2005 November 
0010: 32 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  2.#.# The author
0020: 20 64 69 73 63 6c 61 69 6d 73 20 63 6f 70 79 72   disclaims copyr
0030: 69 67 68 74 20 74 6f 20 74 68 69 73 20 73 6f 75  ight to this sou
0040: 72 63 65 20 63 6f 64 65 2e 20 20 49 6e 20 70 6c  rce code.  In pl
0050: 61 63 65 20 6f 66 0a 23 20 61 20 6c 65 67 61 6c  ace of.# a legal
0060: 20 6e 6f 74 69 63 65 2c 20 68 65 72 65 20 69 73   notice, here is
0070: 20 61 20 62 6c 65 73 73 69 6e 67 3a 0a 23 0a 23   a blessing:.#.#
0080: 20 20 20 20 4d 61 79 20 79 6f 75 20 64 6f 20 67      May you do g
0090: 6f 6f 64 20 61 6e 64 20 6e 6f 74 20 65 76 69 6c  ood and not evil
00a0: 2e 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 66  ..#    May you f
00b0: 69 6e 64 20 66 6f 72 67 69 76 65 6e 65 73 73 20  ind forgiveness 
00c0: 66 6f 72 20 79 6f 75 72 73 65 6c 66 20 61 6e 64  for yourself and
00d0: 20 66 6f 72 67 69 76 65 20 6f 74 68 65 72 73 2e   forgive others.
00e0: 0a 23 20 20 20 20 4d 61 79 20 79 6f 75 20 73 68  .#    May you sh
00f0: 61 72 65 20 66 72 65 65 6c 79 2c 20 6e 65 76 65  are freely, neve
0100: 72 20 74 61 6b 69 6e 67 20 6d 6f 72 65 20 74 68  r taking more th
0110: 61 6e 20 79 6f 75 20 67 69 76 65 2e 0a 23 0a 23  an you 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 2a 2a 2a 2a 0a 23 20 54 68 69 73 20 66  *******.# This f
0170: 69 6c 65 20 69 6d 70 6c 65 6d 65 6e 74 73 20 72  ile implements r
0180: 65 67 72 65 73 73 69 6f 6e 20 74 65 73 74 73 20  egression tests 
0190: 66 6f 72 20 53 51 4c 69 74 65 20 6c 69 62 72 61  for SQLite libra
01a0: 72 79 2e 20 20 54 68 65 0a 23 20 66 6f 63 75 73  ry.  The.# focus
01b0: 20 6f 66 20 74 68 69 73 20 66 69 6c 65 20 69 73   of this file is
01c0: 20 74 65 73 74 69 6e 67 20 43 48 45 43 4b 20 63   testing CHECK c
01d0: 6f 6e 73 74 72 61 69 6e 74 73 0a 23 0a 23 20 24  onstraints.#.# $
01e0: 49 64 3a 20 63 68 65 63 6b 2e 74 65 73 74 2c 76  Id: check.test,v
01f0: 20 31 2e 31 31 20 32 30 30 37 2f 30 37 2f 32 33   1.11 2007/07/23
0200: 20 31 39 3a 33 39 3a 34 37 20 64 72 68 20 45 78   19:39:47 drh Ex
0210: 70 20 24 0a 0a 73 65 74 20 74 65 73 74 64 69 72  p $..set testdir
0220: 20 5b 66 69 6c 65 20 64 69 72 6e 61 6d 65 20 24   [file dirname $
0230: 61 72 67 76 30 5d 0a 73 6f 75 72 63 65 20 24 74  argv0].source $t
0240: 65 73 74 64 69 72 2f 74 65 73 74 65 72 2e 74 63  estdir/tester.tc
0250: 6c 0a 0a 23 20 4f 6e 6c 79 20 72 75 6e 20 74 68  l..# Only run th
0260: 65 73 65 20 74 65 73 74 73 20 69 66 20 74 68 65  ese tests if the
0270: 20 62 75 69 6c 64 20 69 6e 63 6c 75 64 65 73 20   build includes 
0280: 73 75 70 70 6f 72 74 20 66 6f 72 20 43 48 45 43  support for CHEC
0290: 4b 20 63 6f 6e 73 74 72 61 69 6e 74 73 0a 69 66  K constraints.if
02a0: 63 61 70 61 62 6c 65 20 21 63 68 65 63 6b 20 7b  capable !check {
02b0: 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20  .  finish_test. 
02c0: 20 72 65 74 75 72 6e 0a 7d 0a 0a 64 6f 5f 74 65   return.}..do_te
02d0: 73 74 20 63 68 65 63 6b 2d 31 2e 31 20 7b 0a 20  st check-1.1 {. 
02e0: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43   execsql {.    C
02f0: 52 45 41 54 45 20 54 41 42 4c 45 20 74 31 28 0a  REATE TABLE t1(.
0300: 20 20 20 20 20 20 78 20 49 4e 54 45 47 45 52 20        x INTEGER 
0310: 43 48 45 43 4b 28 20 78 3c 35 20 29 2c 0a 20 20  CHECK( x<5 ),.  
0320: 20 20 20 20 79 20 52 45 41 4c 20 43 48 45 43 4b      y REAL CHECK
0330: 28 20 79 3e 78 20 29 0a 20 20 20 20 29 3b 0a 20  ( y>x ).    );. 
0340: 20 7d 0a 7d 20 7b 7d 0a 64 6f 5f 74 65 73 74 20   }.} {}.do_test 
0350: 63 68 65 63 6b 2d 31 2e 32 20 7b 0a 20 20 65 78  check-1.2 {.  ex
0360: 65 63 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45  ecsql {.    INSE
0370: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
0380: 53 28 33 2c 34 29 3b 0a 20 20 20 20 53 45 4c 45  S(3,4);.    SELE
0390: 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20 20  CT * FROM t1;.  
03a0: 7d 20 20 0a 7d 20 7b 33 20 34 2e 30 7d 0a 64 6f  }  .} {3 4.0}.do
03b0: 5f 74 65 73 74 20 63 68 65 63 6b 2d 31 2e 33 20  _test check-1.3 
03c0: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
03d0: 20 20 20 49 4e 53 45 52 54 20 49 4e 54 4f 20 74     INSERT INTO t
03e0: 31 20 56 41 4c 55 45 53 28 36 2c 37 29 3b 0a 20  1 VALUES(6,7);. 
03f0: 20 7d 0a 7d 20 7b 31 20 7b 63 6f 6e 73 74 72 61   }.} {1 {constra
0400: 69 6e 74 20 66 61 69 6c 65 64 7d 7d 0a 64 6f 5f  int failed}}.do_
0410: 74 65 73 74 20 63 68 65 63 6b 2d 31 2e 34 20 7b  test check-1.4 {
0420: 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20  .  execsql {.   
0430: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0440: 31 3b 0a 20 20 7d 20 20 0a 7d 20 7b 33 20 34 2e  1;.  }  .} {3 4.
0450: 30 7d 0a 64 6f 5f 74 65 73 74 20 63 68 65 63 6b  0}.do_test check
0460: 2d 31 2e 35 20 7b 0a 20 20 63 61 74 63 68 73 71  -1.5 {.  catchsq
0470: 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49  l {.    INSERT I
0480: 4e 54 4f 20 74 31 20 56 41 4c 55 45 53 28 34 2c  NTO t1 VALUES(4,
0490: 33 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 63 6f  3);.  }.} {1 {co
04a0: 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 7d  nstraint failed}
04b0: 7d 0a 64 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d  }.do_test check-
04c0: 31 2e 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  1.6 {.  execsql 
04d0: 7b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46  {.    SELECT * F
04e0: 52 4f 4d 20 74 31 3b 0a 20 20 7d 20 20 0a 7d 20  ROM t1;.  }  .} 
04f0: 7b 33 20 34 2e 30 7d 0a 64 6f 5f 74 65 73 74 20  {3 4.0}.do_test 
0500: 63 68 65 63 6b 2d 31 2e 37 20 7b 0a 20 20 63 61  check-1.7 {.  ca
0510: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53  tchsql {.    INS
0520: 45 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ERT INTO t1 VALU
0530: 45 53 28 4e 55 4c 4c 2c 36 29 3b 0a 20 20 7d 0a  ES(NULL,6);.  }.
0540: 7d 20 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74  } {0 {}}.do_test
0550: 20 63 68 65 63 6b 2d 31 2e 38 20 7b 0a 20 20 65   check-1.8 {.  e
0560: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c  xecsql {.    SEL
0570: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20  ECT * FROM t1;. 
0580: 20 7d 20 20 0a 7d 20 7b 33 20 34 2e 30 20 7b 7d   }  .} {3 4.0 {}
0590: 20 36 2e 30 7d 0a 64 6f 5f 74 65 73 74 20 63 68   6.0}.do_test ch
05a0: 65 63 6b 2d 31 2e 39 20 7b 0a 20 20 63 61 74 63  eck-1.9 {.  catc
05b0: 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52  hsql {.    INSER
05c0: 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  T INTO t1 VALUES
05d0: 28 32 2c 4e 55 4c 4c 29 3b 0a 20 20 7d 0a 7d 20  (2,NULL);.  }.} 
05e0: 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 63  {0 {}}.do_test c
05f0: 68 65 63 6b 2d 31 2e 31 30 20 7b 0a 20 20 65 78  heck-1.10 {.  ex
0600: 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45  ecsql {.    SELE
0610: 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20 20  CT * FROM t1;.  
0620: 7d 20 20 0a 7d 20 7b 33 20 34 2e 30 20 7b 7d 20  }  .} {3 4.0 {} 
0630: 36 2e 30 20 32 20 7b 7d 7d 0a 64 6f 5f 74 65 73  6.0 2 {}}.do_tes
0640: 74 20 63 68 65 63 6b 2d 31 2e 31 31 20 7b 0a 20  t check-1.11 {. 
0650: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 44   execsql {.    D
0660: 45 4c 45 54 45 20 46 52 4f 4d 20 74 31 20 57 48  ELETE FROM t1 WH
0670: 45 52 45 20 78 20 49 53 20 4e 55 4c 4c 20 4f 52  ERE x IS NULL OR
0680: 20 78 21 3d 33 3b 0a 20 20 20 20 55 50 44 41 54   x!=3;.    UPDAT
0690: 45 20 74 31 20 53 45 54 20 78 3d 32 20 57 48 45  E t1 SET x=2 WHE
06a0: 52 45 20 78 3d 3d 33 3b 0a 20 20 20 20 53 45 4c  RE x==3;.    SEL
06b0: 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a 20  ECT * FROM t1;. 
06c0: 20 7d 0a 7d 20 7b 32 20 34 2e 30 7d 0a 64 6f 5f   }.} {2 4.0}.do_
06d0: 74 65 73 74 20 63 68 65 63 6b 2d 31 2e 31 32 20  test check-1.12 
06e0: 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20  {.  catchsql {. 
06f0: 20 20 20 55 50 44 41 54 45 20 74 31 20 53 45 54     UPDATE t1 SET
0700: 20 78 3d 37 20 57 48 45 52 45 20 78 3d 3d 32 0a   x=7 WHERE x==2.
0710: 20 20 7d 0a 7d 20 7b 31 20 7b 63 6f 6e 73 74 72    }.} {1 {constr
0720: 61 69 6e 74 20 66 61 69 6c 65 64 7d 7d 0a 64 6f  aint failed}}.do
0730: 5f 74 65 73 74 20 63 68 65 63 6b 2d 31 2e 31 33  _test check-1.13
0740: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
0750: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
0760: 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b 32 20 34 2e   t1;.  }.} {2 4.
0770: 30 7d 0a 64 6f 5f 74 65 73 74 20 63 68 65 63 6b  0}.do_test check
0780: 2d 31 2e 31 34 20 7b 0a 20 20 63 61 74 63 68 73  -1.14 {.  catchs
0790: 71 6c 20 7b 0a 20 20 20 20 55 50 44 41 54 45 20  ql {.    UPDATE 
07a0: 74 31 20 53 45 54 20 78 3d 35 20 57 48 45 52 45  t1 SET x=5 WHERE
07b0: 20 78 3d 3d 32 0a 20 20 7d 0a 7d 20 7b 31 20 7b   x==2.  }.} {1 {
07c0: 63 6f 6e 73 74 72 61 69 6e 74 20 66 61 69 6c 65  constraint faile
07d0: 64 7d 7d 0a 64 6f 5f 74 65 73 74 20 63 68 65 63  d}}.do_test chec
07e0: 6b 2d 31 2e 31 35 20 7b 0a 20 20 65 78 65 63 73  k-1.15 {.  execs
07f0: 71 6c 20 7b 0a 20 20 20 20 53 45 4c 45 43 54 20  ql {.    SELECT 
0800: 2a 20 46 52 4f 4d 20 74 31 3b 0a 20 20 7d 0a 7d  * FROM t1;.  }.}
0810: 20 7b 32 20 34 2e 30 7d 0a 64 6f 5f 74 65 73 74   {2 4.0}.do_test
0820: 20 63 68 65 63 6b 2d 31 2e 31 36 20 7b 0a 20 20   check-1.16 {.  
0830: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 55  catchsql {.    U
0840: 50 44 41 54 45 20 74 31 20 53 45 54 20 78 3d 34  PDATE t1 SET x=4
0850: 2c 20 79 3d 31 31 20 57 48 45 52 45 20 78 3d 3d  , y=11 WHERE x==
0860: 32 0a 20 20 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64  2.  }.} {0 {}}.d
0870: 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d 31 2e 31  o_test check-1.1
0880: 37 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  7 {.  execsql {.
0890: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
08a0: 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b 34 20 31  M t1;.  }.} {4 1
08b0: 31 2e 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 63 68  1.0}..do_test ch
08c0: 65 63 6b 2d 32 2e 31 20 7b 0a 20 20 65 78 65 63  eck-2.1 {.  exec
08d0: 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41 54 45  sql {.    CREATE
08e0: 20 54 41 42 4c 45 20 74 32 28 0a 20 20 20 20 20   TABLE t2(.     
08f0: 20 78 20 49 4e 54 45 47 45 52 20 43 48 45 43 4b   x INTEGER CHECK
0900: 28 20 74 79 70 65 6f 66 28 63 6f 61 6c 65 73 63  ( typeof(coalesc
0910: 65 28 78 2c 30 29 29 3d 3d 22 69 6e 74 65 67 65  e(x,0))=="intege
0920: 72 22 20 29 2c 0a 20 20 20 20 20 20 79 20 52 45  r" ),.      y RE
0930: 41 4c 20 43 48 45 43 4b 28 20 74 79 70 65 6f 66  AL CHECK( typeof
0940: 28 63 6f 61 6c 65 73 63 65 28 79 2c 30 2e 31 29  (coalesce(y,0.1)
0950: 29 3d 3d 22 72 65 61 6c 22 20 29 2c 0a 20 20 20  )=="real" ),.   
0960: 20 20 20 7a 20 54 45 58 54 20 43 48 45 43 4b 28     z TEXT CHECK(
0970: 20 74 79 70 65 6f 66 28 63 6f 61 6c 65 73 63 65   typeof(coalesce
0980: 28 7a 2c 27 27 29 29 3d 3d 22 74 65 78 74 22 20  (z,''))=="text" 
0990: 29 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b  ).    );.  }.} {
09a0: 7d 0a 64 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d  }.do_test check-
09b0: 32 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  2.2 {.  execsql 
09c0: 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  {.    INSERT INT
09d0: 4f 20 74 32 20 56 41 4c 55 45 53 28 31 2c 32 2e  O t2 VALUES(1,2.
09e0: 32 2c 27 74 68 72 65 65 27 29 3b 0a 20 20 20 20  2,'three');.    
09f0: 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 32  SELECT * FROM t2
0a00: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 2e 32 20 74  ;.  }.} {1 2.2 t
0a10: 68 72 65 65 7d 0a 64 6f 5f 74 65 73 74 20 63 68  hree}.do_test ch
0a20: 65 63 6b 2d 32 2e 33 20 7b 0a 20 20 65 78 65 63  eck-2.3 {.  exec
0a30: 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52 54  sql {.    INSERT
0a40: 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53 28   INTO t2 VALUES(
0a50: 4e 55 4c 4c 2c 20 4e 55 4c 4c 2c 20 4e 55 4c 4c  NULL, NULL, NULL
0a60: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  );.    SELECT * 
0a70: 46 52 4f 4d 20 74 32 3b 0a 20 20 7d 0a 7d 20 7b  FROM t2;.  }.} {
0a80: 31 20 32 2e 32 20 74 68 72 65 65 20 7b 7d 20 7b  1 2.2 three {} {
0a90: 7d 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20 63 68  } {}}.do_test ch
0aa0: 65 63 6b 2d 32 2e 34 20 7b 0a 20 20 63 61 74 63  eck-2.4 {.  catc
0ab0: 68 73 71 6c 20 7b 0a 20 20 20 20 49 4e 53 45 52  hsql {.    INSER
0ac0: 54 20 49 4e 54 4f 20 74 32 20 56 41 4c 55 45 53  T INTO t2 VALUES
0ad0: 28 31 2e 31 2c 20 4e 55 4c 4c 2c 20 4e 55 4c 4c  (1.1, NULL, NULL
0ae0: 29 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 63 6f 6e  );.  }.} {1 {con
0af0: 73 74 72 61 69 6e 74 20 66 61 69 6c 65 64 7d 7d  straint failed}}
0b00: 0a 64 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d 32  .do_test check-2
0b10: 2e 35 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .5 {.  catchsql 
0b20: 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  {.    INSERT INT
0b30: 4f 20 74 32 20 56 41 4c 55 45 53 28 4e 55 4c 4c  O t2 VALUES(NULL
0b40: 2c 20 35 2c 20 4e 55 4c 4c 29 3b 0a 20 20 7d 0a  , 5, NULL);.  }.
0b50: 7d 20 7b 31 20 7b 63 6f 6e 73 74 72 61 69 6e 74  } {1 {constraint
0b60: 20 66 61 69 6c 65 64 7d 7d 0a 64 6f 5f 74 65 73   failed}}.do_tes
0b70: 74 20 63 68 65 63 6b 2d 32 2e 36 20 7b 0a 20 20  t check-2.6 {.  
0b80: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 49  catchsql {.    I
0b90: 4e 53 45 52 54 20 49 4e 54 4f 20 74 32 20 56 41  NSERT INTO t2 VA
0ba0: 4c 55 45 53 28 4e 55 4c 4c 2c 20 4e 55 4c 4c 2c  LUES(NULL, NULL,
0bb0: 20 33 2e 31 34 31 35 39 29 3b 0a 20 20 7d 0a 7d   3.14159);.  }.}
0bc0: 20 7b 31 20 7b 63 6f 6e 73 74 72 61 69 6e 74 20   {1 {constraint 
0bd0: 66 61 69 6c 65 64 7d 7d 0a 0a 69 66 63 61 70 61  failed}}..ifcapa
0be0: 62 6c 65 20 73 75 62 71 75 65 72 79 20 7b 0a 20  ble subquery {. 
0bf0: 20 64 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d 33   do_test check-3
0c00: 2e 31 20 7b 0a 20 20 20 20 63 61 74 63 68 73 71  .1 {.    catchsq
0c10: 6c 20 7b 0a 20 20 20 20 20 20 43 52 45 41 54 45  l {.      CREATE
0c20: 20 54 41 42 4c 45 20 74 33 28 0a 20 20 20 20 20   TABLE t3(.     
0c30: 20 20 20 78 2c 20 79 2c 20 7a 2c 0a 20 20 20 20     x, y, z,.    
0c40: 20 20 20 20 43 48 45 43 4b 28 20 78 3c 28 53 45      CHECK( x<(SE
0c50: 4c 45 43 54 20 6d 69 6e 28 78 29 20 46 52 4f 4d  LECT min(x) FROM
0c60: 20 74 31 29 20 29 0a 20 20 20 20 20 20 29 3b 0a   t1) ).      );.
0c70: 20 20 20 20 7d 0a 20 20 7d 20 7b 31 20 7b 73 75      }.  } {1 {su
0c80: 62 71 75 65 72 69 65 73 20 70 72 6f 68 69 62 69  bqueries prohibi
0c90: 74 65 64 20 69 6e 20 43 48 45 43 4b 20 63 6f 6e  ted in CHECK con
0ca0: 73 74 72 61 69 6e 74 73 7d 7d 0a 7d 0a 0a 64 6f  straints}}.}..do
0cb0: 5f 74 65 73 74 20 63 68 65 63 6b 2d 33 2e 32 20  _test check-3.2 
0cc0: 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20  {.  execsql {.  
0cd0: 20 20 53 45 4c 45 43 54 20 6e 61 6d 65 20 46 52    SELECT name FR
0ce0: 4f 4d 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72  OM sqlite_master
0cf0: 20 4f 52 44 45 52 20 42 59 20 6e 61 6d 65 0a 20   ORDER BY name. 
0d00: 20 7d 0a 7d 20 7b 74 31 20 74 32 7d 0a 64 6f 5f   }.} {t1 t2}.do_
0d10: 74 65 73 74 20 63 68 65 63 6b 2d 33 2e 33 20 7b  test check-3.3 {
0d20: 0a 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20  .  catchsql {.  
0d30: 20 20 43 52 45 41 54 45 20 54 41 42 4c 45 20 74    CREATE TABLE t
0d40: 33 28 0a 20 20 20 20 20 20 78 2c 20 79 2c 20 7a  3(.      x, y, z
0d50: 2c 0a 20 20 20 20 20 20 43 48 45 43 4b 28 20 71  ,.      CHECK( q
0d60: 3c 78 20 29 0a 20 20 20 20 29 3b 0a 20 20 7d 0a  <x ).    );.  }.
0d70: 7d 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20 63 6f  } {1 {no such co
0d80: 6c 75 6d 6e 3a 20 71 7d 7d 0a 64 6f 5f 74 65 73  lumn: q}}.do_tes
0d90: 74 20 63 68 65 63 6b 2d 33 2e 34 20 7b 0a 20 20  t check-3.4 {.  
0da0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
0db0: 4c 45 43 54 20 6e 61 6d 65 20 46 52 4f 4d 20 73  LECT name FROM s
0dc0: 71 6c 69 74 65 5f 6d 61 73 74 65 72 20 4f 52 44  qlite_master ORD
0dd0: 45 52 20 42 59 20 6e 61 6d 65 0a 20 20 7d 0a 7d  ER BY name.  }.}
0de0: 20 7b 74 31 20 74 32 7d 0a 64 6f 5f 74 65 73 74   {t1 t2}.do_test
0df0: 20 63 68 65 63 6b 2d 33 2e 35 20 7b 0a 20 20 63   check-3.5 {.  c
0e00: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 43 52  atchsql {.    CR
0e10: 45 41 54 45 20 54 41 42 4c 45 20 74 33 28 0a 20  EATE TABLE t3(. 
0e20: 20 20 20 20 20 78 2c 20 79 2c 20 7a 2c 0a 20 20       x, y, z,.  
0e30: 20 20 20 20 43 48 45 43 4b 28 20 74 32 2e 78 3c      CHECK( t2.x<
0e40: 78 20 29 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d  x ).    );.  }.}
0e50: 20 7b 31 20 7b 6e 6f 20 73 75 63 68 20 63 6f 6c   {1 {no such col
0e60: 75 6d 6e 3a 20 74 32 2e 78 7d 7d 0a 64 6f 5f 74  umn: t2.x}}.do_t
0e70: 65 73 74 20 63 68 65 63 6b 2d 33 2e 36 20 7b 0a  est check-3.6 {.
0e80: 20 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20    execsql {.    
0e90: 53 45 4c 45 43 54 20 6e 61 6d 65 20 46 52 4f 4d  SELECT name FROM
0ea0: 20 73 71 6c 69 74 65 5f 6d 61 73 74 65 72 20 4f   sqlite_master O
0eb0: 52 44 45 52 20 42 59 20 6e 61 6d 65 0a 20 20 7d  RDER BY name.  }
0ec0: 0a 7d 20 7b 74 31 20 74 32 7d 0a 64 6f 5f 74 65  .} {t1 t2}.do_te
0ed0: 73 74 20 63 68 65 63 6b 2d 33 2e 37 20 7b 0a 20  st check-3.7 {. 
0ee0: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
0ef0: 43 52 45 41 54 45 20 54 41 42 4c 45 20 74 33 28  CREATE TABLE t3(
0f00: 0a 20 20 20 20 20 20 78 2c 20 79 2c 20 7a 2c 0a  .      x, y, z,.
0f10: 20 20 20 20 20 20 43 48 45 43 4b 28 20 74 33 2e        CHECK( t3.
0f20: 78 3c 32 35 20 29 0a 20 20 20 20 29 3b 0a 20 20  x<25 ).    );.  
0f30: 7d 0a 7d 20 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65  }.} {0 {}}.do_te
0f40: 73 74 20 63 68 65 63 6b 2d 33 2e 38 20 7b 0a 20  st check-3.8 {. 
0f50: 20 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 49   execsql {.    I
0f60: 4e 53 45 52 54 20 49 4e 54 4f 20 74 33 20 56 41  NSERT INTO t3 VA
0f70: 4c 55 45 53 28 31 2c 32 2c 33 29 3b 0a 20 20 20  LUES(1,2,3);.   
0f80: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
0f90: 33 3b 0a 20 20 7d 0a 7d 20 7b 31 20 32 20 33 7d  3;.  }.} {1 2 3}
0fa0: 0a 64 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d 33  .do_test check-3
0fb0: 2e 39 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20  .9 {.  catchsql 
0fc0: 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  {.    INSERT INT
0fd0: 4f 20 74 33 20 56 41 4c 55 45 53 28 31 31 31 2c  O t3 VALUES(111,
0fe0: 32 32 32 2c 33 33 33 29 3b 0a 20 20 7d 0a 7d 20  222,333);.  }.} 
0ff0: 7b 31 20 7b 63 6f 6e 73 74 72 61 69 6e 74 20 66  {1 {constraint f
1000: 61 69 6c 65 64 7d 7d 0a 0a 64 6f 5f 74 65 73 74  ailed}}..do_test
1010: 20 63 68 65 63 6b 2d 34 2e 31 20 7b 0a 20 20 65   check-4.1 {.  e
1020: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 43 52 45  xecsql {.    CRE
1030: 41 54 45 20 54 41 42 4c 45 20 74 34 28 78 2c 20  ATE TABLE t4(x, 
1040: 79 2c 0a 20 20 20 20 20 20 43 48 45 43 4b 20 28  y,.      CHECK (
1050: 0a 20 20 20 20 20 20 20 20 20 20 20 78 2b 79 3d  .           x+y=
1060: 3d 31 31 0a 20 20 20 20 20 20 20 20 4f 52 20 78  =11.        OR x
1070: 2a 79 3d 3d 31 32 0a 20 20 20 20 20 20 20 20 4f  *y==12.        O
1080: 52 20 78 2f 79 20 42 45 54 57 45 45 4e 20 35 20  R x/y BETWEEN 5 
1090: 41 4e 44 20 38 0a 20 20 20 20 20 20 20 20 4f 52  AND 8.        OR
10a0: 20 2d 78 3d 3d 79 2b 31 30 0a 20 20 20 20 20 20   -x==y+10.      
10b0: 29 0a 20 20 20 20 29 3b 0a 20 20 7d 0a 7d 20 7b  ).    );.  }.} {
10c0: 7d 0a 64 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d  }.do_test check-
10d0: 34 2e 32 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  4.2 {.  execsql 
10e0: 7b 0a 20 20 20 20 49 4e 53 45 52 54 20 49 4e 54  {.    INSERT INT
10f0: 4f 20 74 34 20 56 41 4c 55 45 53 28 31 2c 31 30  O t4 VALUES(1,10
1100: 29 3b 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20  );.    SELECT * 
1110: 46 52 4f 4d 20 74 34 0a 20 20 7d 0a 7d 20 7b 31  FROM t4.  }.} {1
1120: 20 31 30 7d 0a 64 6f 5f 74 65 73 74 20 63 68 65   10}.do_test che
1130: 63 6b 2d 34 2e 33 20 7b 0a 20 20 65 78 65 63 73  ck-4.3 {.  execs
1140: 71 6c 20 7b 0a 20 20 20 20 55 50 44 41 54 45 20  ql {.    UPDATE 
1150: 74 34 20 53 45 54 20 78 3d 34 2c 20 79 3d 33 3b  t4 SET x=4, y=3;
1160: 0a 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52  .    SELECT * FR
1170: 4f 4d 20 74 34 0a 20 20 7d 0a 7d 20 7b 34 20 33  OM t4.  }.} {4 3
1180: 7d 0a 64 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d  }.do_test check-
1190: 34 2e 33 20 7b 0a 20 20 65 78 65 63 73 71 6c 20  4.3 {.  execsql 
11a0: 7b 0a 20 20 20 20 55 50 44 41 54 45 20 74 34 20  {.    UPDATE t4 
11b0: 53 45 54 20 78 3d 31 32 2c 20 79 3d 32 3b 0a 20  SET x=12, y=2;. 
11c0: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
11d0: 20 74 34 0a 20 20 7d 0a 7d 20 7b 31 32 20 32 7d   t4.  }.} {12 2}
11e0: 0a 64 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d 34  .do_test check-4
11f0: 2e 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b  .4 {.  execsql {
1200: 0a 20 20 20 20 55 50 44 41 54 45 20 74 34 20 53  .    UPDATE t4 S
1210: 45 54 20 78 3d 31 32 2c 20 79 3d 2d 32 32 3b 0a  ET x=12, y=-22;.
1220: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
1230: 4d 20 74 34 0a 20 20 7d 0a 7d 20 7b 31 32 20 2d  M t4.  }.} {12 -
1240: 32 32 7d 0a 64 6f 5f 74 65 73 74 20 63 68 65 63  22}.do_test chec
1250: 6b 2d 34 2e 35 20 7b 0a 20 20 63 61 74 63 68 73  k-4.5 {.  catchs
1260: 71 6c 20 7b 0a 20 20 20 20 55 50 44 41 54 45 20  ql {.    UPDATE 
1270: 74 34 20 53 45 54 20 78 3d 30 2c 20 79 3d 31 3b  t4 SET x=0, y=1;
1280: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 63 6f 6e 73 74  .  }.} {1 {const
1290: 72 61 69 6e 74 20 66 61 69 6c 65 64 7d 7d 0a 64  raint failed}}.d
12a0: 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d 34 2e 36  o_test check-4.6
12b0: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
12c0: 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d     SELECT * FROM
12d0: 20 74 34 3b 0a 20 20 7d 0a 7d 20 7b 31 32 20 2d   t4;.  }.} {12 -
12e0: 32 32 7d 0a 64 6f 5f 74 65 73 74 20 63 68 65 63  22}.do_test chec
12f0: 6b 2d 34 2e 37 20 7b 0a 20 20 65 78 65 63 73 71  k-4.7 {.  execsq
1300: 6c 20 7b 0a 20 20 20 20 50 52 41 47 4d 41 20 69  l {.    PRAGMA i
1310: 67 6e 6f 72 65 5f 63 68 65 63 6b 5f 63 6f 6e 73  gnore_check_cons
1320: 74 72 61 69 6e 74 73 3d 4f 4e 3b 0a 20 20 20 20  traints=ON;.    
1330: 55 50 44 41 54 45 20 74 34 20 53 45 54 20 78 3d  UPDATE t4 SET x=
1340: 30 2c 20 79 3d 31 3b 0a 20 20 20 20 53 45 4c 45  0, y=1;.    SELE
1350: 43 54 20 2a 20 46 52 4f 4d 20 74 34 3b 0a 20 20  CT * FROM t4;.  
1360: 7d 0a 7d 20 7b 30 20 31 7d 0a 64 6f 5f 74 65 73  }.} {0 1}.do_tes
1370: 74 20 63 68 65 63 6b 2d 34 2e 38 20 7b 0a 20 20  t check-4.8 {.  
1380: 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 50  catchsql {.    P
1390: 52 41 47 4d 41 20 69 67 6e 6f 72 65 5f 63 68 65  RAGMA ignore_che
13a0: 63 6b 5f 63 6f 6e 73 74 72 61 69 6e 74 73 3d 4f  ck_constraints=O
13b0: 46 46 3b 0a 20 20 20 20 55 50 44 41 54 45 20 74  FF;.    UPDATE t
13c0: 34 20 53 45 54 20 78 3d 30 2c 20 79 3d 32 3b 0a  4 SET x=0, y=2;.
13d0: 20 20 7d 0a 7d 20 7b 31 20 7b 63 6f 6e 73 74 72    }.} {1 {constr
13e0: 61 69 6e 74 20 66 61 69 6c 65 64 7d 7d 0a 69 66  aint failed}}.if
13f0: 63 61 70 61 62 6c 65 20 76 61 63 75 75 6d 20 7b  capable vacuum {
1400: 0a 20 20 64 6f 5f 74 65 73 74 20 63 68 65 63 6b  .  do_test check
1410: 5f 34 2e 39 20 7b 0a 20 20 20 20 63 61 74 63 68  _4.9 {.    catch
1420: 73 71 6c 20 7b 0a 20 20 20 20 20 20 56 41 43 55  sql {.      VACU
1430: 55 4d 0a 20 20 20 20 7d 0a 20 20 7d 20 7b 30 20  UM.    }.  } {0 
1440: 7b 7d 7d 0a 7d 0a 0a 64 6f 5f 74 65 73 74 20 63  {}}.}..do_test c
1450: 68 65 63 6b 2d 35 2e 31 20 7b 0a 20 20 63 61 74  heck-5.1 {.  cat
1460: 63 68 73 71 6c 20 7b 0a 20 20 20 20 43 52 45 41  chsql {.    CREA
1470: 54 45 20 54 41 42 4c 45 20 74 35 28 78 2c 20 79  TE TABLE t5(x, y
1480: 2c 0a 20 20 20 20 20 20 43 48 45 43 4b 28 20 78  ,.      CHECK( x
1490: 2a 79 3c 3a 61 62 63 20 29 0a 20 20 20 20 29 3b  *y<:abc ).    );
14a0: 0a 20 20 7d 0a 7d 20 7b 31 20 7b 70 61 72 61 6d  .  }.} {1 {param
14b0: 65 74 65 72 73 20 70 72 6f 68 69 62 69 74 65 64  eters prohibited
14c0: 20 69 6e 20 43 48 45 43 4b 20 63 6f 6e 73 74 72   in CHECK constr
14d0: 61 69 6e 74 73 7d 7d 0a 64 6f 5f 74 65 73 74 20  aints}}.do_test 
14e0: 63 68 65 63 6b 2d 35 2e 32 20 7b 0a 20 20 63 61  check-5.2 {.  ca
14f0: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 43 52 45  tchsql {.    CRE
1500: 41 54 45 20 54 41 42 4c 45 20 74 35 28 78 2c 20  ATE TABLE t5(x, 
1510: 79 2c 0a 20 20 20 20 20 20 43 48 45 43 4b 28 20  y,.      CHECK( 
1520: 78 2a 79 3c 3f 20 29 0a 20 20 20 20 29 3b 0a 20  x*y<? ).    );. 
1530: 20 7d 0a 7d 20 7b 31 20 7b 70 61 72 61 6d 65 74   }.} {1 {paramet
1540: 65 72 73 20 70 72 6f 68 69 62 69 74 65 64 20 69  ers prohibited i
1550: 6e 20 43 48 45 43 4b 20 63 6f 6e 73 74 72 61 69  n CHECK constrai
1560: 6e 74 73 7d 7d 0a 0a 69 66 63 61 70 61 62 6c 65  nts}}..ifcapable
1570: 20 63 6f 6e 66 6c 69 63 74 20 7b 0a 0a 64 6f 5f   conflict {..do_
1580: 74 65 73 74 20 63 68 65 63 6b 2d 36 2e 31 20 7b  test check-6.1 {
1590: 0a 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45  .  execsql {SELE
15a0: 43 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 7d 20  CT * FROM t1}.} 
15b0: 7b 34 20 31 31 2e 30 7d 0a 64 6f 5f 74 65 73 74  {4 11.0}.do_test
15c0: 20 63 68 65 63 6b 2d 36 2e 32 20 7b 0a 20 20 65   check-6.2 {.  e
15d0: 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 55 50 44  xecsql {.    UPD
15e0: 41 54 45 20 4f 52 20 49 47 4e 4f 52 45 20 74 31  ATE OR IGNORE t1
15f0: 20 53 45 54 20 78 3d 35 3b 0a 20 20 20 20 53 45   SET x=5;.    SE
1600: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b 0a  LECT * FROM t1;.
1610: 20 20 7d 0a 7d 20 7b 34 20 31 31 2e 30 7d 0a 64    }.} {4 11.0}.d
1620: 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d 36 2e 33  o_test check-6.3
1630: 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a 20   {.  execsql {. 
1640: 20 20 20 49 4e 53 45 52 54 20 4f 52 20 49 47 4e     INSERT OR IGN
1650: 4f 52 45 20 49 4e 54 4f 20 74 31 20 56 41 4c 55  ORE INTO t1 VALU
1660: 45 53 28 35 2c 34 2e 30 29 3b 0a 20 20 20 20 53  ES(5,4.0);.    S
1670: 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 3b  ELECT * FROM t1;
1680: 0a 20 20 7d 0a 7d 20 7b 34 20 31 31 2e 30 7d 0a  .  }.} {4 11.0}.
1690: 64 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d 36 2e  do_test check-6.
16a0: 34 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  4 {.  execsql {.
16b0: 20 20 20 20 49 4e 53 45 52 54 20 4f 52 20 49 47      INSERT OR IG
16c0: 4e 4f 52 45 20 49 4e 54 4f 20 74 31 20 56 41 4c  NORE INTO t1 VAL
16d0: 55 45 53 28 32 2c 32 30 2e 30 29 3b 0a 20 20 20  UES(2,20.0);.   
16e0: 20 53 45 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74   SELECT * FROM t
16f0: 31 3b 0a 20 20 7d 0a 7d 20 7b 34 20 31 31 2e 30  1;.  }.} {4 11.0
1700: 20 32 20 32 30 2e 30 7d 0a 64 6f 5f 74 65 73 74   2 20.0}.do_test
1710: 20 63 68 65 63 6b 2d 36 2e 35 20 7b 0a 20 20 63   check-6.5 {.  c
1720: 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 55 50  atchsql {.    UP
1730: 44 41 54 45 20 4f 52 20 46 41 49 4c 20 74 31 20  DATE OR FAIL t1 
1740: 53 45 54 20 78 3d 37 2d 78 2c 20 79 3d 79 2b 31  SET x=7-x, y=y+1
1750: 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 63 6f 6e 73  ;.  }.} {1 {cons
1760: 74 72 61 69 6e 74 20 66 61 69 6c 65 64 7d 7d 0a  traint failed}}.
1770: 64 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d 36 2e  do_test check-6.
1780: 36 20 7b 0a 20 20 65 78 65 63 73 71 6c 20 7b 0a  6 {.  execsql {.
1790: 20 20 20 20 53 45 4c 45 43 54 20 2a 20 46 52 4f      SELECT * FRO
17a0: 4d 20 74 31 3b 0a 20 20 7d 0a 7d 20 7b 33 20 31  M t1;.  }.} {3 1
17b0: 32 2e 30 20 32 20 32 30 2e 30 7d 0a 64 6f 5f 74  2.0 2 20.0}.do_t
17c0: 65 73 74 20 63 68 65 63 6b 2d 36 2e 37 20 7b 0a  est check-6.7 {.
17d0: 20 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20    catchsql {.   
17e0: 20 42 45 47 49 4e 3b 0a 20 20 20 20 49 4e 53 45   BEGIN;.    INSE
17f0: 52 54 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45  RT INTO t1 VALUE
1800: 53 28 31 2c 33 30 2e 30 29 3b 0a 20 20 20 20 49  S(1,30.0);.    I
1810: 4e 53 45 52 54 20 4f 52 20 52 4f 4c 4c 42 41 43  NSERT OR ROLLBAC
1820: 4b 20 49 4e 54 4f 20 74 31 20 56 41 4c 55 45 53  K INTO t1 VALUES
1830: 28 38 2c 34 30 2e 30 29 3b 0a 20 20 7d 0a 7d 20  (8,40.0);.  }.} 
1840: 7b 31 20 7b 63 6f 6e 73 74 72 61 69 6e 74 20 66  {1 {constraint f
1850: 61 69 6c 65 64 7d 7d 0a 64 6f 5f 74 65 73 74 20  ailed}}.do_test 
1860: 63 68 65 63 6b 2d 36 2e 38 20 7b 0a 20 20 63 61  check-6.8 {.  ca
1870: 74 63 68 73 71 6c 20 7b 0a 20 20 20 20 43 4f 4d  tchsql {.    COM
1880: 4d 49 54 3b 0a 20 20 7d 0a 7d 20 7b 31 20 7b 63  MIT;.  }.} {1 {c
1890: 61 6e 6e 6f 74 20 63 6f 6d 6d 69 74 20 2d 20 6e  annot commit - n
18a0: 6f 20 74 72 61 6e 73 61 63 74 69 6f 6e 20 69 73  o transaction is
18b0: 20 61 63 74 69 76 65 7d 7d 0a 64 6f 5f 74 65 73   active}}.do_tes
18c0: 74 20 63 68 65 63 6b 2d 36 2e 39 20 7b 0a 20 20  t check-6.9 {.  
18d0: 65 78 65 63 73 71 6c 20 7b 0a 20 20 20 20 53 45  execsql {.    SE
18e0: 4c 45 43 54 20 2a 20 46 52 4f 4d 20 74 31 0a 20  LECT * FROM t1. 
18f0: 20 7d 0a 7d 20 7b 33 20 31 32 2e 30 20 32 20 32   }.} {3 12.0 2 2
1900: 30 2e 30 7d 0a 0a 64 6f 5f 74 65 73 74 20 63 68  0.0}..do_test ch
1910: 65 63 6b 2d 36 2e 31 31 20 7b 0a 20 20 65 78 65  eck-6.11 {.  exe
1920: 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a 20 46  csql {SELECT * F
1930: 52 4f 4d 20 74 31 7d 0a 7d 20 7b 33 20 31 32 2e  ROM t1}.} {3 12.
1940: 30 20 32 20 32 30 2e 30 7d 0a 64 6f 5f 74 65 73  0 2 20.0}.do_tes
1950: 74 20 63 68 65 63 6b 2d 36 2e 31 32 20 7b 0a 20  t check-6.12 {. 
1960: 20 63 61 74 63 68 73 71 6c 20 7b 0a 20 20 20 20   catchsql {.    
1970: 52 45 50 4c 41 43 45 20 49 4e 54 4f 20 74 31 20  REPLACE INTO t1 
1980: 56 41 4c 55 45 53 28 36 2c 37 29 3b 0a 20 20 7d  VALUES(6,7);.  }
1990: 0a 7d 20 7b 31 20 7b 63 6f 6e 73 74 72 61 69 6e  .} {1 {constrain
19a0: 74 20 66 61 69 6c 65 64 7d 7d 0a 64 6f 5f 74 65  t failed}}.do_te
19b0: 73 74 20 63 68 65 63 6b 2d 36 2e 31 33 20 7b 0a  st check-6.13 {.
19c0: 20 20 65 78 65 63 73 71 6c 20 7b 53 45 4c 45 43    execsql {SELEC
19d0: 54 20 2a 20 46 52 4f 4d 20 74 31 7d 0a 7d 20 7b  T * FROM t1}.} {
19e0: 33 20 31 32 2e 30 20 32 20 32 30 2e 30 7d 0a 64  3 12.0 2 20.0}.d
19f0: 6f 5f 74 65 73 74 20 63 68 65 63 6b 2d 36 2e 31  o_test check-6.1
1a00: 34 20 7b 0a 20 20 63 61 74 63 68 73 71 6c 20 7b  4 {.  catchsql {
1a10: 0a 20 20 20 20 49 4e 53 45 52 54 20 4f 52 20 49  .    INSERT OR I
1a20: 47 4e 4f 52 45 20 49 4e 54 4f 20 74 31 20 56 41  GNORE INTO t1 VA
1a30: 4c 55 45 53 28 36 2c 37 29 3b 0a 20 20 7d 0a 7d  LUES(6,7);.  }.}
1a40: 20 7b 30 20 7b 7d 7d 0a 64 6f 5f 74 65 73 74 20   {0 {}}.do_test 
1a50: 63 68 65 63 6b 2d 36 2e 31 35 20 7b 0a 20 20 65  check-6.15 {.  e
1a60: 78 65 63 73 71 6c 20 7b 53 45 4c 45 43 54 20 2a  xecsql {SELECT *
1a70: 20 46 52 4f 4d 20 74 31 7d 0a 7d 20 7b 33 20 31   FROM t1}.} {3 1
1a80: 32 2e 30 20 32 20 32 30 2e 30 7d 0a 0a 0a 7d 0a  2.0 2 20.0}...}.
1a90: 0a 66 69 6e 69 73 68 5f 74 65 73 74 0a           .finish_test.