Files
ast-project/part1/results/1/bug_46ff401e-24b1-4422-94f1-dc5b6431eb11_logic.md
2026-06-24 13:47:14 +02:00

2.2 KiB

Summary

**No review yet**

Minimized query

PRAGMA table_list("users");
PRAGMA shrink_memory;
PRAGMA foreign_keys = TRUE;
.read commands.sql
CREATE TABLE t1(a INTEGER, b INTEGER, c INTEGER);
INSERT INTO t1 VALUES(1, 1, 1);
INSERT INTO t1 VALUES(1, 2, 2);
SELECT c, sum(c) OVER win1 FROM t1 WINDOW win1 AS (ORDER BY b);
INSERT INTO t1 VALUES (NULL, NULL, NULL);
DELETE FROM t1 WHERE rowid = 57;
SELECT * FROM t1;
CREATE TABLE T (
  A VARCHAR(10) PRIMARY KEY,
  B VARCHAR(15) NOT NULL,
  C DOUBLE PRECISION
);
INSERT INTO T VALUES ('a', 'p', -1.7976931348623157e+308);
INSERT INTO T VALUES ('b', 'q', -0.000000001);
INSERT INTO T VALUES ('c', 'r', 0.0);
INSERT INTO T VALUES ('d', 's', 3.14159265358979);
INSERT INTO T VALUES ('e', 't', 1.7976931348623157e+308);
INSERT INTO T VALUES ('f', 't', 750.25);
SELECT B, AVG(C) AS D, MIN(C) AS E, MAX(C) AS F FROM T GROUP BY B;
ALTER TABLE t1 RENAME TO t1_r4799;
ANALYZE;

Actual output

[{"1":1}]
[{"c":1,"sum(c) OVER win1":1},
{"c":2,"sum(c) OVER win1":3}]
[{"a":1,"b":1,"c":1},
{"a":1,"b":2,"c":2},
{"a":null,"b":null,"c":null}]
[{"B":"p","D":-1.7976931348623156223e+308,"E":-1.7976931348623156223e+308,"F":-1.7976931348623156223e+308},
{"B":"q","D":-1.0000000000000000622e-09,"E":-1.0000000000000000622e-09,"F":-1.0000000000000000622e-09},
{"B":"r","D":0.0,"E":0.0,"F":0.0},
{"B":"s","D":3.1415926535897900073,"E":3.1415926535897900073,"F":3.1415926535897900073},
{"B":"t","D":8.9884656743115781112e+307,"E":750.25,"F":1.7976931348623156223e+308}]

Expectation

[{"1":1}]
[{"c":1,"sum(c) OVER win1":1},
{"c":2,"sum(c) OVER win1":3}]
[{"a":1,"b":1,"c":1},
{"a":1,"b":2,"c":2},
{"a":null,"b":null,"c":null}]
[{"B":"p","D":-1.797693134862315692e+308,"E":-1.797693134862315692e+308,"F":-1.797693134862315692e+308},
{"B":"q","D":-1.000000000000000062e-09,"E":-1.000000000000000062e-09,"F":-1.000000000000000062e-09},
{"B":"r","D":0.0,"E":0.0,"F":0.0},
{"B":"s","D":3.141592653589790008,"E":3.141592653589790008,"F":3.141592653589790008},
{"B":"t","D":8.98846567431157846e+307,"E":750.25,"F":1.797693134862315692e+308}]

Flag

-json