You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the bug
A nullary predicate with a result shows the "This query returned no results" message even if it has a result.
It does show "1 result" in the top left as well leading to a contradictory view of results
Version
CodeQL extension version: 1.7.5
CodeQL CLI version: 2.11.3
Platform: linux x64
To reproduce
Run:
query predicate foo() { any() }
Look at the results
Expected behavior
Something like "1 nullary result" or "1 empty result".
Additional context
I don't think this is that important in general to fix as nullary predicates are not commonly used but it is wrong.
The text was updated successfully, but these errors were encountered:
Describe the bug
A nullary predicate with a result shows the "This query returned no results" message even if it has a result.
It does show "1 result" in the top left as well leading to a contradictory view of results
Version
CodeQL extension version: 1.7.5
CodeQL CLI version: 2.11.3
Platform: linux x64
To reproduce
Run:
Look at the results
Expected behavior
Something like "1 nullary result" or "1 empty result".
Additional context
I don't think this is that important in general to fix as nullary predicates are not commonly used but it is wrong.
The text was updated successfully, but these errors were encountered: