/ Check-in [0e01cdc8]
Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:For archival purposes, add the TCL script that was used to generate many of the test cases for where7.test. (CVS 6133)
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1:0e01cdc8d283acd2757d69bf6d8e36bb1f47d460
User & Date: drh 2009-01-07 15:52:55
Context
2009-01-07
16:15
Change SQLITE_MAX_FUNCTION_ARG from 100 to 127 to match invariant H16124. Ticket #3567. (CVS 6134) check-in: 1fe79ffd user: danielk1977 tags: trunk
15:52
For archival purposes, add the TCL script that was used to generate many of the test cases for where7.test. (CVS 6133) check-in: 0e01cdc8 user: drh tags: trunk
15:33
Conjecture: a journal header with nRec==0 must be the last header in the journal. Add asserts to make this conjecture explicit. (CVS 6132) check-in: 15b5b5f9 user: drh tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Added test/make-where7.tcl.





















































































































































































































































>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
#!/usr/bin/tclsh
#
# Run this script to generate randomized test cases for the where7.test
# script.  The output will need to be manually copied and pasted into
# the where7.test script.
#
puts "do_test where7-2.1 \173"
puts "  db eval \173"
puts "    CREATE TABLE t2(a INTEGER PRIMARY KEY,b,c,d,e,f,g);"
set NA 100
for {set a 1} {$a<=$NA} {incr a} {
  set b [expr {$a*11}]
  set div3 [expr {int(($a+2)/3)}]
  set c [expr {$div3*1001}]
  set d [expr {$a*1.001}]
  set e [expr {$div3*100.1}]
  set x [expr {$a%26}]
  set f [string range {abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz} \
           $x [expr {$x+8}]]
  set div5 [expr {int(($a+7)/5)}]
  set x [expr {$div5%26}]
  set g [string range {zyxwvutsrqponmlkjihgfedcbazyxwvutsrqponmlkjihgfedcba} \
           $x [expr {$x+6}]]
  puts "    INSERT INTO t2 VALUES($a,$b,$c,$d,$e,'$f','$g');"
  lappend fidx($f) $a
  lappend gidx($g) $a
  set gof($a) $g
  set fof($a) $f

  set expr "a=$a"
  set term($expr) $a
  set expr "((a BETWEEN [expr {$a-1}] AND [expr {$a+1}]) AND a!=$a)"
  set x {}
  if {$a>1} {set x [expr {$a-1}]}
  if {$a<$NA} {lappend x [expr {$a+1}]}
  set term($expr) $x
  set expr "b=$b"
  set term($expr) $a
  set expr "b=[expr {$a*11+3}]"
  set term($expr) {}
  set expr "c=$c"
  lappend term($expr) $a
  set expr "(d>=$a.0 AND d<[expr {$a+1.0}] AND d NOT NULL)"
  lappend term($expr) $a
  set expr "f='$f'"
  lappend term($expr) $a
  set expr \
     "(f GLOB '?[string range $f 1 4]*' AND f GLOB '[string range $f 0 3]*')"
  lappend term($expr) $a
  set expr "(g='$g' AND f GLOB '[string range $f 0 4]*')"
  lappend term($expr) $a
}
puts "    CREATE INDEX t2b ON t2(b);"
puts "    CREATE INDEX t2c ON t2(c);"
puts "    CREATE INDEX t2d ON t2(d);"
puts "    CREATE INDEX t2e ON t2(e);"
puts "    CREATE INDEX t2f ON t2(f);"
puts "    CREATE INDEX t2g ON t2(g);"
puts "    CREATE TABLE t3(a INTEGER PRIMARY KEY,b,c,d,e,f,g);"
puts "    INSERT INTO t3 SELECT * FROM t2;"
puts "    CREATE INDEX t3b ON t3(b,c);"
puts "    CREATE INDEX t3c ON t3(c,e);"
puts "    CREATE INDEX t3d ON t3(d,g);"
puts "    CREATE INDEX t3e ON t3(e,f,g);"
puts "    CREATE INDEX t3f ON t3(f,b,d,c);"
puts "    CREATE INDEX t3g ON t3(g,f);"

puts "  \175"
puts "\175 {}"

set term(b<0) {}
set term(1000000<b) {}
set term(c<=10) {}
set term(c>=[expr {int(($NA+2)/3)*1001+1}]) {}
set term(d<0.0) {}
set term(d>1e10) {}
set expr {e IS NULL}
set term($expr) {}
set expr {f IS NULL}
set term($expr) {}
set expr {g IS NULL}
set term($expr) {}

set NT 1000
set termlist [array names term]
set nterm [llength $termlist]
for {set i 2} {$i<=$NT+1} {incr i} {
  set n [expr {int(rand()*10)+2}]
  set w {}
  unset -nocomplain r
  for {set j 0} {$j<$n} {incr j} {
    set k [expr {int(rand()*$nterm)}]
    set t [lindex $termlist $k]
    lappend w $t
    foreach a $term($t) {
      set r($a) 1
    }
  }
  if {[info exists seen($w)]} {
    incr i -1
    continue
  }
  set seen($w) 1
  set result [lsort -int [array names r]]
  puts "do_test where7-2.$i.1 \173"
  puts "  count_steps \173"
  puts "     SELECT a FROM t2"
  set wc [join $w "\n         OR "]
  puts "      WHERE $wc"
  puts "      ORDER BY a"
  puts "  \175"
  puts "\175 {$result scan 0 sort 0}"
  puts "do_test where7-2.$i.2 \173"
  puts "  count_steps \173"
  puts "     SELECT a FROM t3"
  set wc [join $w "\n         OR "]
  puts "      WHERE $wc"
  puts "      ORDER BY a"
  puts "  \175"
  puts "\175 {$result scan 0 sort 0}"
}
puts "finish_test"