/ Hex Artifact Content
Login

Artifact a85ef814ce071293bce1ad8dffa217cbbaad4c14:


0000: 23 20 32 30 31 36 20 46 65 62 72 75 61 72 79 20  # 2016 February 
0010: 34 0a 23 0a 23 20 54 68 65 20 61 75 74 68 6f 72  4.#.# 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 65 20 66 6f  *******.# The fo
0170: 63 75 73 20 6f 66 20 74 68 65 20 74 65 73 74 73  cus of the tests
0180: 20 69 73 20 74 68 65 20 77 6f 72 64 2d 66 75 7a   is the word-fuz
0190: 7a 65 72 20 76 69 72 74 75 61 6c 20 74 61 62 6c  zer virtual tabl
01a0: 65 2e 20 54 68 65 20 74 65 73 74 73 0a 23 20 69  e. The tests.# i
01b0: 6e 20 74 68 69 73 20 66 69 6c 65 20 61 72 65 20  n this file are 
01c0: 73 6c 6f 77 65 72 20 74 68 61 6e 20 74 68 6f 73  slower than thos
01d0: 65 20 69 6e 20 66 75 7a 7a 65 72 31 2e 74 65 73  e in fuzzer1.tes
01e0: 74 2e 20 53 6f 20 74 68 69 73 20 66 69 6c 65 20  t. So this file 
01f0: 64 6f 65 73 0a 23 20 6e 6f 74 20 72 75 6e 20 61  does.# not run a
0200: 73 20 70 61 72 74 20 6f 66 20 76 65 72 79 71 75  s part of veryqu
0210: 69 63 6b 2e 74 65 73 74 20 65 74 63 2e 0a 23 0a  ick.test etc..#.
0220: 0a 73 65 74 20 74 65 73 74 64 69 72 20 5b 66 69  .set testdir [fi
0230: 6c 65 20 64 69 72 6e 61 6d 65 20 24 61 72 67 76  le dirname $argv
0240: 30 5d 0a 73 6f 75 72 63 65 20 24 74 65 73 74 64  0].source $testd
0250: 69 72 2f 74 65 73 74 65 72 2e 74 63 6c 0a 0a 69  ir/tester.tcl..i
0260: 66 63 61 70 61 62 6c 65 20 21 76 74 61 62 20 7b  fcapable !vtab {
0270: 0a 20 20 66 69 6e 69 73 68 5f 74 65 73 74 0a 20  .  finish_test. 
0280: 20 72 65 74 75 72 6e 0a 7d 0a 0a 73 65 74 20 3a   return.}..set :
0290: 3a 74 65 73 74 70 72 65 66 69 78 20 66 75 7a 7a  :testprefix fuzz
02a0: 65 72 32 0a 6c 6f 61 64 5f 73 74 61 74 69 63 5f  er2.load_static_
02b0: 65 78 74 65 6e 73 69 6f 6e 20 64 62 20 66 75 7a  extension db fuz
02c0: 7a 65 72 0a 0a 23 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  zer..#----------
02d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
02e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
02f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d  ----------------
0300: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a  ---------------.
0310: 23 20 54 68 69 73 20 74 65 73 74 20 75 73 65 73  # This test uses
0320: 20 61 20 66 75 7a 7a 65 72 20 74 61 62 6c 65 20   a fuzzer table 
0330: 77 69 74 68 20 6d 61 6e 79 20 72 75 6c 65 73 2e  with many rules.
0340: 20 54 68 65 72 65 20 69 73 20 6f 6e 65 20 72 75   There is one ru
0350: 6c 65 20 74 6f 0a 23 20 6d 61 70 20 65 61 63 68  le to.# map each
0360: 20 70 6f 73 73 69 62 6c 65 20 74 77 6f 20 63 68   possible two ch
0370: 61 72 61 63 74 65 72 20 73 74 72 69 6e 67 2c 20  aracter string, 
0380: 77 68 65 72 65 20 63 68 61 72 61 63 74 65 72 73  where characters
0390: 20 61 72 65 20 6c 6f 77 65 72 2d 63 61 73 65 0a   are lower-case.
03a0: 23 20 6c 65 74 74 65 72 73 20 75 73 65 64 20 69  # letters used i
03b0: 6e 20 74 68 65 20 45 6e 67 6c 69 73 68 20 6c 61  n the English la
03c0: 6e 67 75 61 67 65 2c 20 74 6f 20 61 6c 6c 20 6f  nguage, to all o
03d0: 74 68 65 72 20 70 6f 73 73 69 62 6c 65 20 74 77  ther possible tw
03e0: 6f 20 63 68 61 72 61 63 74 65 72 0a 23 20 73 74  o character.# st
03f0: 72 69 6e 67 73 2e 20 49 6e 20 74 6f 74 61 6c 2c  rings. In total,
0400: 20 28 32 36 5e 34 29 2d 28 32 36 5e 32 29 20 6d   (26^4)-(26^2) m
0410: 61 70 70 69 6e 67 73 20 28 74 68 65 20 73 75 62  appings (the sub
0420: 74 72 61 63 74 65 64 20 74 65 72 6d 20 72 65 70  tracted term rep
0430: 72 65 73 65 6e 74 73 0a 23 20 74 68 65 20 6e 6f  resents.# the no
0440: 2d 6f 70 20 6d 61 70 70 69 6e 67 73 20 64 69 73  -op mappings dis
0450: 63 61 72 64 65 64 20 61 75 74 6f 6d 61 74 69 63  carded automatic
0460: 61 6c 6c 79 20 62 79 20 74 68 65 20 66 75 7a 7a  ally by the fuzz
0470: 65 72 29 2e 0a 23 0a 23 0a 64 6f 5f 65 78 65 63  er)..#.#.do_exec
0480: 73 71 6c 5f 74 65 73 74 20 31 2e 31 2e 31 20 7b  sql_test 1.1.1 {
0490: 0a 20 20 44 52 4f 50 20 54 41 42 4c 45 20 49 46  .  DROP TABLE IF
04a0: 20 45 58 49 53 54 53 20 78 31 3b 0a 20 20 44 52   EXISTS x1;.  DR
04b0: 4f 50 20 54 41 42 4c 45 20 49 46 20 45 58 49 53  OP TABLE IF EXIS
04c0: 54 53 20 78 31 5f 72 75 6c 65 73 3b 0a 20 20 43  TS x1_rules;.  C
04d0: 52 45 41 54 45 20 54 41 42 4c 45 20 78 31 5f 72  REATE TABLE x1_r
04e0: 75 6c 65 73 28 72 75 6c 65 73 65 74 2c 20 63 46  ules(ruleset, cF
04f0: 72 6f 6d 2c 20 63 54 6f 2c 20 63 6f 73 74 29 3b  rom, cTo, cost);
0500: 0a 7d 0a 70 75 74 73 20 22 54 68 69 73 20 74 65  .}.puts "This te
0510: 73 74 20 69 73 20 73 6c 6f 77 20 2d 20 70 65 72  st is slow - per
0520: 68 61 70 73 20 61 72 6f 75 6e 64 20 37 20 73 65  haps around 7 se
0530: 63 6f 6e 64 73 20 6f 6e 20 61 6e 20 61 76 65 72  conds on an aver
0540: 61 67 65 20 70 63 22 0a 64 6f 5f 74 65 73 74 20  age pc".do_test 
0550: 31 2e 31 2e 32 20 7b 0a 20 20 73 65 74 20 4c 45  1.1.2 {.  set LE
0560: 54 54 45 52 53 20 7b 61 20 62 20 63 20 64 20 65  TTERS {a b c d e
0570: 20 66 20 67 20 68 20 69 20 6a 20 6b 20 6c 20 6d   f g h i j k l m
0580: 20 6e 20 6f 20 70 20 71 20 72 20 73 20 74 20 75   n o p q r s t u
0590: 20 76 20 77 20 78 20 79 20 7a 7d 0a 20 20 73 65   v w x y z}.  se
05a0: 74 20 63 6f 73 74 20 31 0a 20 20 64 62 20 74 72  t cost 1.  db tr
05b0: 61 6e 73 61 63 74 69 6f 6e 20 7b 0a 20 20 20 20  ansaction {.    
05c0: 66 6f 72 65 61 63 68 20 63 31 20 24 4c 45 54 54  foreach c1 $LETT
05d0: 45 52 53 20 7b 20 0a 20 20 20 20 20 20 66 6f 72  ERS { .      for
05e0: 65 61 63 68 20 63 32 20 24 4c 45 54 54 45 52 53  each c2 $LETTERS
05f0: 20 7b 20 0a 20 20 20 20 20 20 20 20 66 6f 72 65   { .        fore
0600: 61 63 68 20 63 33 20 24 4c 45 54 54 45 52 53 20  ach c3 $LETTERS 
0610: 7b 20 0a 20 20 20 20 20 20 20 20 20 20 66 6f 72  { .          for
0620: 65 61 63 68 20 63 34 20 24 4c 45 54 54 45 52 53  each c4 $LETTERS
0630: 20 7b 20 0a 20 20 20 20 20 20 20 20 20 20 20 20   { .            
0640: 64 62 20 65 76 61 6c 20 7b 49 4e 53 45 52 54 20  db eval {INSERT 
0650: 49 4e 54 4f 20 78 31 5f 72 75 6c 65 73 20 56 41  INTO x1_rules VA
0660: 4c 55 45 53 28 30 2c 20 24 63 31 7c 7c 24 63 32  LUES(0, $c1||$c2
0670: 2c 20 24 63 33 7c 7c 24 63 34 2c 20 24 63 6f 73  , $c3||$c4, $cos
0680: 74 29 7d 0a 20 20 20 20 20 20 20 20 20 20 20 20  t)}.            
0690: 73 65 74 20 63 6f 73 74 20 5b 65 78 70 72 20 28  set cost [expr (
06a0: 24 63 6f 73 74 25 31 30 30 30 29 20 2b 20 31 5d  $cost%1000) + 1]
06b0: 0a 20 20 20 20 20 20 20 20 20 20 7d 0a 20 20 20  .          }.   
06c0: 20 20 20 20 20 7d 0a 20 20 20 20 20 20 7d 0a 20       }.      }. 
06d0: 20 20 20 7d 0a 20 20 20 20 64 62 20 65 76 61 6c     }.    db eval
06e0: 20 7b 55 50 44 41 54 45 20 78 31 5f 72 75 6c 65   {UPDATE x1_rule
06f0: 73 20 53 45 54 20 63 6f 73 74 20 3d 20 32 30 20  s SET cost = 20 
0700: 57 48 45 52 45 20 63 6f 73 74 3c 32 30 20 41 4e  WHERE cost<20 AN
0710: 44 20 63 46 72 6f 6d 21 3d 27 78 78 27 7d 0a 20  D cFrom!='xx'}. 
0720: 20 7d 0a 7d 20 7b 7d 0a 0a 64 6f 5f 65 78 65 63   }.} {}..do_exec
0730: 73 71 6c 5f 74 65 73 74 20 31 2e 32 20 7b 0a 20  sql_test 1.2 {. 
0740: 20 53 45 4c 45 43 54 20 63 6f 75 6e 74 28 2a 29   SELECT count(*)
0750: 20 46 52 4f 4d 20 78 31 5f 72 75 6c 65 73 20 57   FROM x1_rules W
0760: 48 45 52 45 20 63 54 6f 21 3d 63 46 72 6f 6d 3b  HERE cTo!=cFrom;
0770: 0a 7d 20 5b 65 78 70 72 20 32 36 2a 32 36 2a 32  .} [expr 26*26*2
0780: 36 2a 32 36 20 2d 20 32 36 2a 32 36 5d 0a 0a 64  6*26 - 26*26]..d
0790: 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74 20 31  o_execsql_test 1
07a0: 2e 32 2e 31 20 7b 0a 20 20 43 52 45 41 54 45 20  .2.1 {.  CREATE 
07b0: 56 49 52 54 55 41 4c 20 54 41 42 4c 45 20 78 31  VIRTUAL TABLE x1
07c0: 20 55 53 49 4e 47 20 66 75 7a 7a 65 72 28 78 31   USING fuzzer(x1
07d0: 5f 72 75 6c 65 73 29 3b 0a 20 20 53 45 4c 45 43  _rules);.  SELEC
07e0: 54 20 77 6f 72 64 20 46 52 4f 4d 20 78 31 20 57  T word FROM x1 W
07f0: 48 45 52 45 20 77 6f 72 64 20 4d 41 54 43 48 20  HERE word MATCH 
0800: 27 78 78 27 20 4c 49 4d 49 54 20 31 30 3b 0a 7d  'xx' LIMIT 10;.}
0810: 20 7b 78 78 20 68 77 20 68 78 20 68 79 20 68 7a   {xx hw hx hy hz
0820: 20 69 61 20 69 62 20 69 63 20 69 64 20 69 65 7d   ia ib ic id ie}
0830: 0a 64 6f 5f 65 78 65 63 73 71 6c 5f 74 65 73 74  .do_execsql_test
0840: 20 31 2e 32 2e 32 20 7b 0a 20 20 53 45 4c 45 43   1.2.2 {.  SELEC
0850: 54 20 63 54 6f 20 46 52 4f 4d 20 78 31 5f 72 75  T cTo FROM x1_ru
0860: 6c 65 73 20 57 48 45 52 45 20 63 46 72 6f 6d 3d  les WHERE cFrom=
0870: 27 78 78 27 20 0a 20 20 4f 52 44 45 52 20 42 59  'xx' .  ORDER BY
0880: 20 63 6f 73 74 20 61 73 63 2c 20 72 6f 77 69 64   cost asc, rowid
0890: 20 61 73 63 20 4c 49 4d 49 54 20 39 3b 0a 7d 20   asc LIMIT 9;.} 
08a0: 7b 68 77 20 68 78 20 68 79 20 68 7a 20 69 61 20  {hw hx hy hz ia 
08b0: 69 62 20 69 63 20 69 64 20 69 65 7d 0a 0a 66 69  ib ic id ie}..fi
08c0: 6e 69 73 68 5f 74 65 73 74 0a                    nish_test.