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 |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
0e01cdc8d283acd2757d69bf6d8e36bb |
User & Date: | drh 2009-01-07 15:52:55.000 |
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: 1fe79ffd77 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: 0e01cdc8d2 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: 15b5b5f90c user: drh tags: trunk) | |
Changes
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" |