Skip to content

Fix error messages and SARIF format#901

Merged
swissiety merged 5 commits intodevelopfrom
fix/messages
Jul 16, 2025
Merged

Fix error messages and SARIF format#901
swissiety merged 5 commits intodevelopfrom
fix/messages

Conversation

@smeyer198
Copy link
Contributor

@smeyer198 smeyer198 commented Jul 15, 2025

  • Update some error messages to return the correct statements
  • Add some more information to the error messages regarding classes
  • Fix the SARIF format; currently, the output is not in the correct SARIF format
  • Add preceding and subsequent error ids to reports

Close #839
Close #896

@swissiety swissiety enabled auto-merge July 16, 2025 13:26
swissiety
swissiety approved these changes Jul 16, 2025
View reviewed changes
Copy link
Collaborator

@swissiety swissiety left a comment

Choose a reason for hiding this comment

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

👍

@swissiety swissiety added this pull request to the merge queue Jul 16, 2025
Merged via the queue into develop with commit 40b676c Jul 16, 2025
11 checks passed
@swissiety swissiety deleted the fix/messages branch July 16, 2025 13:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@swissiety swissiety swissiety approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Reported error location for implications Error tree report format

2 participants

@smeyer198 @swissiety