namespace changes and fixes for non-amalgamated builds
[sqlcipher.git] / test / releasetest_data.tcl
blob45966fd233e42bb06c6e22e12d11d55ba59d0ffe
1 # 2019 August 01
3 # The author disclaims copyright to this source code. In place of
4 # a legal notice, here is a blessing:
6 # May you do good and not evil.
7 # May you find forgiveness for yourself and forgive others.
8 # May you share freely, never taking more than you give.
10 #***********************************************************************
12 # This file implements a program that produces scripts (either shell scripts
13 # or batch files) to implement a particular test that is part of the SQLite
14 # release testing procedure. For example, to run veryquick.test with a
15 # specified set of -D compiler switches.
17 # A "configuration" is a set of options passed to [./configure] and [make]
18 # to build the SQLite library in a particular fashion. A "platform" is a
19 # list of tests; most platforms are named after the hardware/OS platform
20 # that the tests will be run on as part of the release procedure. Each
21 # "test" is a combination of a configuration and a makefile target (e.g.
22 # "fulltest"). The program may be invoked as follows:
24 set USAGE {
25 $argv0 script ?-msvc? CONFIGURATION TARGET
26 Given a configuration and make target, return a bash (or, if -msvc
27 is specified, batch) script to execute the test. The first argument
28 passed to the script must be a directory containing SQLite source code.
30 $argv0 configurations
31 List available configurations.
33 $argv0 platforms
34 List available platforms.
36 $argv0 tests ?-nodebug? PLATFORM
37 List tests in a specified platform. If the -nodebug switch is
38 specified, synthetic debug/ndebug configurations are omitted. Each
39 test is a combination of a configuration and a makefile target.
42 # Omit comments (text between # and \n) in a long multi-line string.
44 proc strip_comments {in} {
45 regsub -all {#[^\n]*\n} $in {} out
46 return $out
49 array set ::Configs [strip_comments {
50 "Default" {
51 -O2
52 --disable-amalgamation --disable-shared
53 --enable-session
55 "Sanitize" {
56 CC=clang -fsanitize=address,undefined
57 -DSQLITE_ENABLE_STAT4
58 -DCONFIG_SLOWDOWN_FACTOR=5.0
59 --enable-debug
60 --enable-all
62 "Stdcall" {
63 -DUSE_STDCALL=1
64 -O2
66 "Have-Not" {
67 # The "Have-Not" configuration sets all possible -UHAVE_feature options
68 # in order to verify that the code works even on platforms that lack
69 # these support services.
70 -DHAVE_FDATASYNC=0
71 -DHAVE_GMTIME_R=0
72 -DHAVE_ISNAN=0
73 -DHAVE_LOCALTIME_R=0
74 -DHAVE_LOCALTIME_S=0
75 -DHAVE_MALLOC_USABLE_SIZE=0
76 -DHAVE_STRCHRNUL=0
77 -DHAVE_USLEEP=0
78 -DHAVE_UTIME=0
80 "Unlock-Notify" {
81 -O2
82 -DSQLITE_ENABLE_UNLOCK_NOTIFY
83 -DSQLITE_THREADSAFE
84 -DSQLITE_TCL_DEFAULT_FULLMUTEX=1
86 "User-Auth" {
87 -O2
88 -DSQLITE_USER_AUTHENTICATION=1
90 "Secure-Delete" {
91 -O2
92 -DSQLITE_SECURE_DELETE=1
93 -DSQLITE_SOUNDEX=1
95 "Update-Delete-Limit" {
96 -O2
97 -DSQLITE_DEFAULT_FILE_FORMAT=4
98 -DSQLITE_ENABLE_UPDATE_DELETE_LIMIT=1
99 -DSQLITE_ENABLE_STMT_SCANSTATUS
100 -DSQLITE_LIKE_DOESNT_MATCH_BLOBS
101 -DSQLITE_ENABLE_CURSOR_HINTS
102 --enable-json1
104 "Check-Symbols" {
105 -DSQLITE_MEMDEBUG=1
106 -DSQLITE_ENABLE_FTS3_PARENTHESIS=1
107 -DSQLITE_ENABLE_FTS3=1
108 -DSQLITE_ENABLE_RTREE=1
109 -DSQLITE_ENABLE_MEMSYS5=1
110 -DSQLITE_ENABLE_MEMSYS3=1
111 -DSQLITE_ENABLE_COLUMN_METADATA=1
112 -DSQLITE_ENABLE_UPDATE_DELETE_LIMIT=1
113 -DSQLITE_SECURE_DELETE=1
114 -DSQLITE_SOUNDEX=1
115 -DSQLITE_ENABLE_ATOMIC_WRITE=1
116 -DSQLITE_ENABLE_MEMORY_MANAGEMENT=1
117 -DSQLITE_ENABLE_OVERSIZE_CELL_CHECK=1
118 -DSQLITE_ENABLE_STAT4
119 -DSQLITE_ENABLE_STMT_SCANSTATUS
120 --enable-json1 --enable-fts5 --enable-session
122 "Debug-One" {
123 --disable-shared
124 -O2 -funsigned-char
125 -DSQLITE_DEBUG=1
126 -DSQLITE_MEMDEBUG=1
127 -DSQLITE_MUTEX_NOOP=1
128 -DSQLITE_TCL_DEFAULT_FULLMUTEX=1
129 -DSQLITE_ENABLE_FTS3=1
130 -DSQLITE_ENABLE_RTREE=1
131 -DSQLITE_ENABLE_MEMSYS5=1
132 -DSQLITE_ENABLE_COLUMN_METADATA=1
133 -DSQLITE_ENABLE_STAT4
134 -DSQLITE_ENABLE_HIDDEN_COLUMNS
135 -DSQLITE_MAX_ATTACHED=125
136 -DSQLITE_MUTATION_TEST
137 --enable-fts5 --enable-json1
139 "Debug-Two" {
140 -DSQLITE_DEFAULT_MEMSTATUS=0
141 -DSQLITE_MAX_EXPR_DEPTH=0
142 --enable-debug
144 "Fast-One" {
146 -DSQLITE_ENABLE_FTS4=1
147 -DSQLITE_ENABLE_RTREE=1
148 -DSQLITE_ENABLE_STAT4
149 -DSQLITE_ENABLE_RBU
150 -DSQLITE_MAX_ATTACHED=125
151 -DSQLITE_MAX_MMAP_SIZE=12884901888
152 -DSQLITE_ENABLE_SORTER_MMAP=1
153 -DLONGDOUBLE_TYPE=double
154 --enable-session
156 "Device-One" {
158 -DSQLITE_DEBUG=1
159 -DSQLITE_DEFAULT_AUTOVACUUM=1
160 -DSQLITE_DEFAULT_CACHE_SIZE=64
161 -DSQLITE_DEFAULT_PAGE_SIZE=1024
162 -DSQLITE_DEFAULT_TEMP_CACHE_SIZE=32
163 -DSQLITE_DISABLE_LFS=1
164 -DSQLITE_ENABLE_ATOMIC_WRITE=1
165 -DSQLITE_ENABLE_IOTRACE=1
166 -DSQLITE_ENABLE_MEMORY_MANAGEMENT=1
167 -DSQLITE_MAX_PAGE_SIZE=4096
168 -DSQLITE_OMIT_LOAD_EXTENSION=1
169 -DSQLITE_OMIT_PROGRESS_CALLBACK=1
170 -DSQLITE_OMIT_VIRTUALTABLE=1
171 -DSQLITE_ENABLE_HIDDEN_COLUMNS
172 -DSQLITE_TEMP_STORE=3
173 --enable-json1
175 "Device-Two" {
176 -DSQLITE_4_BYTE_ALIGNED_MALLOC=1
177 -DSQLITE_DEFAULT_AUTOVACUUM=1
178 -DSQLITE_DEFAULT_CACHE_SIZE=1000
179 -DSQLITE_DEFAULT_LOCKING_MODE=0
180 -DSQLITE_DEFAULT_PAGE_SIZE=1024
181 -DSQLITE_DEFAULT_TEMP_CACHE_SIZE=1000
182 -DSQLITE_DISABLE_LFS=1
183 -DSQLITE_ENABLE_FTS3=1
184 -DSQLITE_ENABLE_MEMORY_MANAGEMENT=1
185 -DSQLITE_ENABLE_RTREE=1
186 -DSQLITE_MAX_COMPOUND_SELECT=50
187 -DSQLITE_MAX_PAGE_SIZE=32768
188 -DSQLITE_OMIT_TRACE=1
189 -DSQLITE_TEMP_STORE=3
190 -DSQLITE_THREADSAFE=2
191 --enable-json1 --enable-fts5 --enable-session
193 "Locking-Style" {
195 -DSQLITE_ENABLE_LOCKING_STYLE=1
197 "Apple" {
199 -DHAVE_GMTIME_R=1
200 -DHAVE_ISNAN=1
201 -DHAVE_LOCALTIME_R=1
202 -DHAVE_PREAD=1
203 -DHAVE_PWRITE=1
204 -DHAVE_UTIME=1
205 -DSQLITE_DEFAULT_CACHE_SIZE=1000
206 -DSQLITE_DEFAULT_CKPTFULLFSYNC=1
207 -DSQLITE_DEFAULT_MEMSTATUS=1
208 -DSQLITE_DEFAULT_PAGE_SIZE=1024
209 -DSQLITE_DISABLE_PAGECACHE_OVERFLOW_STATS=1
210 -DSQLITE_ENABLE_API_ARMOR=1
211 -DSQLITE_ENABLE_AUTO_PROFILE=1
212 -DSQLITE_ENABLE_FLOCKTIMEOUT=1
213 -DSQLITE_ENABLE_FTS3=1
214 -DSQLITE_ENABLE_FTS3_PARENTHESIS=1
215 -DSQLITE_ENABLE_FTS3_TOKENIZER=1
216 -DSQLITE_ENABLE_PERSIST_WAL=1
217 -DSQLITE_ENABLE_PURGEABLE_PCACHE=1
218 -DSQLITE_ENABLE_RTREE=1
219 -DSQLITE_ENABLE_SNAPSHOT=1
220 # -DSQLITE_ENABLE_SQLLOG=1
221 -DSQLITE_ENABLE_UPDATE_DELETE_LIMIT=1
222 -DSQLITE_MAX_LENGTH=2147483645
223 -DSQLITE_MAX_VARIABLE_NUMBER=500000
224 # -DSQLITE_MEMDEBUG=1
225 -DSQLITE_NO_SYNC=1
226 -DSQLITE_OMIT_AUTORESET=1
227 -DSQLITE_OMIT_LOAD_EXTENSION=1
228 -DSQLITE_PREFER_PROXY_LOCKING=1
229 -DSQLITE_SERIES_CONSTRAINT_VERIFY=1
230 -DSQLITE_THREADSAFE=2
231 -DSQLITE_USE_URI=1
232 -DSQLITE_WRITE_WALFRAME_PREBUFFERED=1
233 -DUSE_GUARDED_FD=1
234 -DUSE_PREAD=1
235 --enable-json1 --enable-fts5
237 "Extra-Robustness" {
238 -DSQLITE_ENABLE_OVERSIZE_CELL_CHECK=1
239 -DSQLITE_MAX_ATTACHED=62
241 "Devkit" {
242 -DSQLITE_DEFAULT_FILE_FORMAT=4
243 -DSQLITE_MAX_ATTACHED=30
244 -DSQLITE_ENABLE_COLUMN_METADATA
245 -DSQLITE_ENABLE_FTS4
246 -DSQLITE_ENABLE_FTS5
247 -DSQLITE_ENABLE_FTS4_PARENTHESIS
248 -DSQLITE_DISABLE_FTS4_DEFERRED
249 -DSQLITE_ENABLE_RTREE
250 --enable-json1 --enable-fts5
252 "No-lookaside" {
253 -DSQLITE_TEST_REALLOC_STRESS=1
254 -DSQLITE_OMIT_LOOKASIDE=1
256 "Valgrind" {
257 -DSQLITE_ENABLE_STAT4
258 -DSQLITE_ENABLE_FTS4
259 -DSQLITE_ENABLE_RTREE
260 -DSQLITE_ENABLE_HIDDEN_COLUMNS
261 -DCONFIG_SLOWDOWN_FACTOR=8.0
262 --enable-json1
265 "Windows-Memdebug" {
266 MEMDEBUG=1
267 DEBUG=3
269 "Windows-Win32Heap" {
270 WIN32HEAP=1
271 DEBUG=4
274 # The next group of configurations are used only by the
275 # Failure-Detection platform. They are all the same, but we need
276 # different names for them all so that they results appear in separate
277 # subdirectories.
279 Fail0 {-O0}
280 Fail2 {-O0}
281 Fail3 {-O0}
282 Fail4 {-O0}
283 FuzzFail1 {-O0}
284 FuzzFail2 {-O0}
286 if {$tcl_platform(os)=="Darwin"} {
287 lappend Configs(Apple) -DSQLITE_ENABLE_LOCKING_STYLE=1
290 array set ::Platforms [strip_comments {
291 Linux-x86_64 {
292 "Check-Symbols*" "" checksymbols
293 "Fast-One" QUICKTEST_INCLUDE=rbu.test "fuzztest test"
294 "Debug-One" "" "mptest test"
295 "Debug-Two" "" test
296 "Have-Not" "" test
297 "Secure-Delete" "" test
298 "Unlock-Notify" QUICKTEST_INCLUDE=notify2.test test
299 "User-Auth" "" tcltest
300 "Update-Delete-Limit" "" test
301 "Extra-Robustness" "" test
302 "Device-Two" "" "threadtest test"
303 "No-lookaside" "" test
304 "Devkit" "" test
305 "Apple" "" test
306 "Sanitize*" "" test
307 "Device-One" "" alltest
308 "Default" "" "threadtest fuzztest alltest"
309 "Valgrind*" "" valgrindtest
311 Linux-i686 {
312 "Devkit" "" test
313 "Have-Not" "" test
314 "Unlock-Notify" QUICKTEST_INCLUDE=notify2.test test
315 "Device-One" "" test
316 "Device-Two" "" test
317 "Default" "" "threadtest fuzztest alltest"
319 Darwin-i386 {
320 "Locking-Style" "" "mptest test"
321 "Have-Not" "" test
322 "Apple" "" "threadtest fuzztest alltest"
324 Darwin-x86_64 {
325 "Locking-Style" "" "mptest test"
326 "Have-Not" "" test
327 "Apple" "" "threadtest fuzztest alltest"
329 Darwin-arm64 {
330 "Locking-Style" "" "mptest test"
331 "Have-Not" "" test
332 "Apple" "" "threadtest fuzztest alltest"
334 "Windows NT-intel" {
335 "Stdcall" "" test
336 "Have-Not" "" test
337 "Windows-Memdebug*" "" test
338 "Windows-Win32Heap*" "" test
339 "Default" "" "mptest fulltestonly"
341 "Windows NT-amd64" {
342 "Stdcall" "" test
343 "Have-Not" "" test
344 "Windows-Memdebug*" "" test
345 "Windows-Win32Heap*" "" test
346 "Default" "" "mptest fulltestonly"
349 # The Failure-Detection platform runs various tests that deliberately
350 # fail. This is used as a test of this script to verify that this script
351 # correctly identifies failures.
353 Failure-Detection {
354 Fail0* "TEST_FAILURE=0" test
355 Sanitize* "TEST_FAILURE=1" test
356 Fail2* "TEST_FAILURE=2" valgrindtest
357 Fail3* "TEST_FAILURE=3" valgrindtest
358 Fail4* "TEST_FAILURE=4" test
359 FuzzFail1* "TEST_FAILURE=5" test
360 FuzzFail2* "TEST_FAILURE=5" valgrindtest
364 #--------------------------------------------------------------------------
365 #--------------------------------------------------------------------------
366 #--------------------------------------------------------------------------
367 # End of configuration section.
368 #--------------------------------------------------------------------------
369 #--------------------------------------------------------------------------
370 #--------------------------------------------------------------------------
372 # Configuration verification: Check that each entry in the list of configs
373 # specified for each platforms exists.
375 foreach {key value} [array get ::Platforms] {
376 foreach {v vars t} $value {
377 if {[string range $v end end]=="*"} {
378 set v [string range $v 0 end-1]
380 if {0==[info exists ::Configs($v)]} {
381 puts stderr "No such configuration: \"$v\""
382 exit -1
387 proc usage {} {
388 global argv0
389 puts stderr [subst $::USAGE]
390 exit 1
393 proc is_prefix {p str min} {
394 set n [string length $p]
395 if {$n<$min} { return 0 }
396 if {[string range $str 0 [expr $n-1]]!=$p} { return 0 }
397 return 1
400 proc main_configurations {} {
401 foreach k [lsort [array names ::Configs]] {
402 puts $k
406 proc main_platforms {} {
407 foreach k [lsort [array names ::Platforms]] {
408 puts "\"$k\""
412 proc main_script {args} {
413 set bMsvc 0
414 set nArg [llength $args]
415 if {$nArg==3} {
416 if {![is_prefix [lindex $args 0] -msvc 2]} usage
417 set bMsvc 1
418 } elseif {$nArg<2 || $nArg>3} {
419 usage
421 set config [lindex $args end-1]
422 set target [lindex $args end]
424 set opts [list] ;# OPTS value
425 set cflags [expr {$bMsvc ? "-Zi" : "-g"}] ;# CFLAGS value
426 set makeOpts [list] ;# Extra args for [make]
427 set configOpts [list] ;# Extra args for [configure]
429 if {$::tcl_platform(platform)=="windows" || $bMsvc} {
430 lappend opts -DSQLITE_OS_WIN=1
431 } else {
432 lappend opts -DSQLITE_OS_UNIX=1
435 # Figure out if this is a synthetic ndebug or debug configuration.
437 set bRemoveDebug 0
438 if {[string match *-ndebug $config]} {
439 set bRemoveDebug 1
440 set config [string range $config 0 end-7]
442 if {[string match *-debug $config]} {
443 lappend opts -DSQLITE_DEBUG
444 lappend opts -DSQLITE_EXTRA_IFNULLROW
445 set config [string range $config 0 end-6]
447 regexp {^(.*)-[0-9]+} $config -> config
449 # Ensure that the named configuration exists.
451 if {![info exists ::Configs($config)]} {
452 puts stderr "No such config: $config"
453 exit 1
456 # Loop through the parameters of the nominated configuration, updating
457 # $opts, $cflags, $makeOpts and $configOpts along the way. Rules are as
458 # follows:
460 # 1. If the parameter begins with a "*", discard it.
462 # 2. If $bRemoveDebug is set and the parameter is -DSQLITE_DEBUG or
463 # -DSQLITE_DEBUG=1, discard it
465 # 3. If the parameter begins with "-D", add it to $opts.
467 # 4. If the parameter begins with "--" add it to $configOpts. Unless
468 # this command is preparing a script for MSVC - then add an
469 # equivalent to $makeOpts or $opts.
471 # 5. If the parameter begins with "-" add it to $cflags. If in MSVC
472 # mode and the parameter is an -O<integer> option, instead add
473 # an OPTIMIZATIONS=<integer> switch to $makeOpts.
475 # 6. If none of the above apply, add the parameter to $makeOpts
477 foreach param $::Configs($config) {
478 if {[string range $param 0 0]=="*"} continue
480 if {$bRemoveDebug} {
481 if {$param=="-DSQLITE_DEBUG" || $param=="-DSQLITE_DEBUG=1"
482 || $param=="-DSQLITE_MEMDEBUG" || $param=="-DSQLITE_MEMDEBUG=1"
483 || $param=="--enable-debug"
485 continue
489 if {[string range $param 0 1]=="-D"} {
490 lappend opts $param
491 continue
494 if {[string range $param 0 1]=="--"} {
495 if {$bMsvc} {
496 switch -- $param {
497 --disable-amalgamation {
498 lappend makeOpts USE_AMALGAMATION=0
500 --disable-shared {
501 lappend makeOpts USE_CRT_DLL=0 DYNAMIC_SHELL=0
503 --enable-fts5 {
504 lappend opts -DSQLITE_ENABLE_FTS5
506 --enable-json1 {
507 lappend opts -DSQLITE_ENABLE_JSON1
509 --enable-shared {
510 lappend makeOpts USE_CRT_DLL=1 DYNAMIC_SHELL=1
512 --enable-session {
513 lappend opts -DSQLITE_ENABLE_PREUPDATE_HOOK
514 lappend opts -DSQLITE_ENABLE_SESSION
516 default {
517 error "Cannot translate $param for MSVC"
520 } else {
521 lappend configOpts $param
524 continue
527 if {[string range $param 0 0]=="-"} {
528 if {$bMsvc && [regexp -- {^-O(\d+)$} $param -> level]} {
529 lappend makeOpts OPTIMIZATIONS=$level
530 } else {
531 lappend cflags $param
533 continue
536 lappend makeOpts $param
539 # Some configurations specify -DHAVE_USLEEP=0. For all others, add
540 # -DHAVE_USLEEP=1.
542 if {[lsearch $opts "-DHAVE_USLEEP=0"]<0} {
543 lappend opts -DHAVE_USLEEP=1
546 if {$bMsvc==0} {
547 puts {set -e}
548 puts {}
549 puts {if [ "$#" -ne 1 ] ; then}
550 puts { echo "Usage: $0 <sqlite-src-dir>" }
551 puts { exit -1 }
552 puts {fi }
553 puts {SRCDIR=$1}
554 puts {}
555 puts "TCL=\"[::tcl::pkgconfig get libdir,install]\""
557 puts "\$SRCDIR/configure --with-tcl=\$TCL $configOpts"
558 puts {}
559 puts {OPTS=" -DSQLITE_NO_SYNC=1"}
560 foreach o $opts {
561 puts "OPTS=\"\$OPTS $o\""
563 puts {}
564 puts "CFLAGS=\"$cflags\""
565 puts {}
566 puts "make $target \"CFLAGS=\$CFLAGS\" \"OPTS=\$OPTS\" $makeOpts"
567 } else {
569 puts {set SRCDIR=%1}
570 set makecmd "nmake /f %SRCDIR%\\Makefile.msc TOP=%SRCDIR% $target "
571 append makecmd "\"CFLAGS=$cflags\" \"OPTS=$opts\" $makeOpts"
573 puts "set TMP=%CD%"
574 puts $makecmd
578 proc main_tests {args} {
579 set bNodebug 0
580 set nArg [llength $args]
581 if {$nArg==2} {
582 if {[is_prefix [lindex $args 0] -nodebug 2]} {
583 set bNodebug 1
584 } elseif {[is_prefix [lindex $args 0] -debug 2]} {
585 set bNodebug 0
586 } else usage
587 } elseif {$nArg==0 || $nArg>2} {
588 usage
590 set p [lindex $args end]
591 if {![info exists ::Platforms($p)]} {
592 puts stderr "No such platform: $p"
593 exit 1
596 set lTest [list]
598 foreach {config vars target} $::Platforms($p) {
599 if {[string range $config end end]=="*"} {
600 set config [string range $config 0 end-1]
601 } elseif {$bNodebug==0} {
602 set dtarget test
603 if {[lsearch $target fuzztest]<0 && [lsearch $target test]<0} {
604 set dtarget tcltest
606 if {$vars!=""} { set dtarget "$vars $dtarget" }
608 if {[string first SQLITE_DEBUG $::Configs($config)]>=0
609 || [string first --enable-debug $::Configs($config)]>=0
611 lappend lTest "$config-ndebug \"$dtarget\""
612 } else {
613 lappend lTest "$config-debug \"$dtarget\""
617 if {[llength $target]==1 && ([string match "*TEST_FAILURE*" $vars] || (
618 [lsearch $target "valgrindtest"]<0
619 && [lsearch $target "alltest"]<0
620 && [lsearch $target "fulltestonly"]<0
621 && ![string match Sanitize* $config]
622 ))} {
623 if {$vars!=""} { set target "$vars $target" }
624 lappend lTest "$config \"$target\""
625 } else {
626 set idir -1
627 foreach t $target {
628 if {$t=="valgrindtest" || $t=="alltest" || $t=="fulltestonly"
629 || [string match Sanitize* $config]
631 if {$vars!=""} { set t "$vars $t" }
632 for {set ii 1} {$ii<=4} {incr ii} {
633 lappend lTest "$config-[incr idir] \"TCLTEST_PART=$ii/4 $t\""
635 } else {
636 if {$vars!=""} { set t "$vars $t" }
637 lappend lTest "$config-[incr idir] \"$t\""
643 foreach l $lTest {
644 puts $l
649 if {[llength $argv]==0} { usage }
650 set cmd [lindex $argv 0]
651 set n [expr [llength $argv]-1]
652 if {[string match ${cmd}* configurations] && $n==0} {
653 main_configurations
654 } elseif {[string match ${cmd}* script]} {
655 main_script {*}[lrange $argv 1 end]
656 } elseif {[string match ${cmd}* platforms] && $n==0} {
657 main_platforms
658 } elseif {[string match ${cmd}* tests]} {
659 main_tests {*}[lrange $argv 1 end]
660 } else {
661 usage