0
0
mirror of https://github.com/tursodatabase/libsql.git synced 2024-12-15 06:19:42 +00:00
libsql/libsql-sqlite3/test/tkt-18458b1a.test
2023-10-16 13:58:16 +02:00

53 lines
1.3 KiB
Plaintext

# 2019 September 10
#
# The author disclaims copyright to this source code. In place of
# a legal notice, here is a blessing:
#
# May you do good and not evil.
# May you find forgiveness for yourself and forgive others.
# May you share freely, never taking more than you give.
#
#***********************************************************************
# This file implements regression tests for SQLite library. In particular,
# that problems related to ticket [18458b1a] have been fixed.
#
set testdir [file dirname $argv0]
source $testdir/tester.tcl
set testprefix tkt-18458b1a
foreach tn {1 2} {
reset_db
if {$tn==1} {
# Disable the flattener and push-down optimizations
optimization_control db query-flattener 0
optimization_control db push-down 0
} else {
# Enable them
optimization_control db query-flattener 1
optimization_control db push-down 1
}
db cache size 0
do_execsql_test $tn.1.1 {
CREATE TABLE t0(c0 COLLATE NOCASE);
INSERT INTO t0(c0) VALUES ('B');
CREATE VIEW v0(c0, c1) AS SELECT DISTINCT t0.c0, 'a' FROM t0;
}
do_execsql_test $tn.1.2 {
SELECT count(*) FROM v0 WHERE c1 >= c0;
} 1
do_execsql_test $tn.1.3 {
SELECT count(*) FROM v0 WHERE NOT NOT (c1 >= c0);
} 1
do_execsql_test $tn.1.4 {
SELECT count(*) FROM v0 WHERE ((c1 >= c0) OR 0+0);
} 1
}
finish_test