Changeset: 814cfd6e7eb7 for MonetDB
URL: https://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=814cfd6e7eb7
Modified Files:
sql/test/SQLancer/Tests/sqlancer10.test
Branch: default
Log Message:
Query with wrong results under mitosis
diffs (67 lines):
diff --git a/sql/test/SQLancer/Tests/sqlancer10.test
b/sql/test/SQLancer/Tests/sqlancer10.test
--- a/sql/test/SQLancer/Tests/sqlancer10.test
+++ b/sql/test/SQLancer/Tests/sqlancer10.test
@@ -145,6 +145,63 @@ statement ok
START TRANSACTION
statement ok
+CREATE TABLE "t0" ("c1" CHAR(32) NOT NULL,"c2" BIGINT)
+
+statement ok
+COPY 15 RECORDS INTO "t0" FROM stdin USING DELIMITERS E'\t',E'\n','"'
+<COPY_INTO_DATA>
+"" NULL
+"" NULL
+"" NULL
+"" NULL
+"kr" NULL
+"." 9
+"-1225404417" 9
+"" 0
+"true" 8
+"v" 7
+".08820065089538986" 560459428
+"1157806258" NULL
+"2.9658969" 7
+"2\\nW5^bb" NULL
+"꽒! IzY+耖" NULL
+
+statement ok
+CREATE TABLE "t2" ("c0" REAL,"c1" CHAR(32),"c3" DOUBLE PRECISION,"c4" DOUBLE
PRECISION)
+
+statement ok
+COPY 7 RECORDS INTO "t2" FROM stdin USING DELIMITERS E'\t',E'\n','"'
+<COPY_INTO_DATA>
+0.6426742 "zxUnva2B#" 0.2357991008043102 0.05610056392250362
+0.6426742 "zxUnva2B#" 0.2357991008043102 -3
+9.464879e+08 "f≴j,[MX" 1 0.4357949520288794
+9.464879e+08 "f≴j,[MX" 1 0.4357949520288794
+9.464879e+08 "f≴j,[MX" 1 0.4357949520288794
+NULL NULL 868392514 0.9381271875855801
+1.2785509e+09 NULL NULL NULL
+
+query T rowsort
+SELECT t2.c1 FROM t0, t2 WHERE CAST(t0.c2 AS char(32)) > t2.c1
+----
+
+
+query R rowsort
+SELECT t2.c4 FROM t0, t2 WHERE ((CAST(t0.c2 AS char(32)))>(CASE WHEN TRUE THEN
t2.c1 END))
+----
+
+
+query I rowsort
+SELECT CAST(SUM(count) AS BIGINT) FROM (SELECT CAST(((CAST(t0.c2 AS
char(32)))>(CASE WHEN TRUE THEN t2.c1 END)) AS INT) as count FROM t0, t2) as res
+----
+0
+
+statement ok
+ROLLBACK
+
+statement ok
+START TRANSACTION
+
+statement ok
CREATE TABLE "t0" ("c0" TINYINT NOT NULL,"c1" TINYINT NOT NULL,"c3"
BOOLEAN,"c4" INT,"c5" BIGINT)
statement ok
_______________________________________________
checkin-list mailing list
[email protected]
https://www.monetdb.org/mailman/listinfo/checkin-list
