Skip to content

[feat] Adding Checker coverage statistics to CLI#4796

Open
bruntib wants to merge 2 commits intoEricsson:masterfrom
bruntib:checker-coverage-cli
Open

[feat] Adding Checker coverage statistics to CLI#4796
bruntib wants to merge 2 commits intoEricsson:masterfrom
bruntib:checker-coverage-cli

Conversation

@bruntib
Copy link
Contributor

@bruntib bruntib commented Mar 4, 2026

No description provided.

@bruntib bruntib added this to the release 6.28.0 milestone Mar 4, 2026
@bruntib bruntib requested a review from barnabasdomozi March 4, 2026 07:49
@bruntib bruntib requested a review from vodorok as a code owner March 4, 2026 07:49
@bruntib bruntib force-pushed the checker-coverage-cli branch 2 times, most recently from 43b232c to b7bf230 Compare March 4, 2026 12:22
@bruntib bruntib force-pushed the checker-coverage-cli branch from b7bf230 to 1a3f9d2 Compare March 4, 2026 15:06
Copy link
Collaborator

@barnabasdomozi barnabasdomozi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Currently, the web test cases are failing.

@bruntib bruntib force-pushed the checker-coverage-cli branch from 6c10d5b to 2d4d04a Compare March 10, 2026 23:48
The following query is successful with psycopg2 driver but fails with
pg8000:

SELECT
  COUNT(a),
  b,
  CASE WHEN c IN ($1, $2) THEN true ELSE false
FROM
  my_table
GROUP BY
  b,
  CASE WHEN c IN ($3, $4) THEN true ELSE false

This fails because it is recognized as an SQL syntax error: "Column 'c'
should be aggregated by a function or should occur in the GROUP BY section".
It is there at the GROUP BY section, but the placeholders are different.
It's theoretically possible that different values will be substituted
in $1 and $3, though it will never happen. Unfortunately, SQL can't prove
this, so it results a syntax error.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants