Skip to content

Extend error messages and other small fixes#878

Merged
schlichtig merged 14 commits intodevelopfrom
fix/error-messages
Jun 23, 2025
Merged

Extend error messages and other small fixes#878
schlichtig merged 14 commits intodevelopfrom
fix/error-messages

Conversation

@smeyer198
Copy link
Contributor

@smeyer198 smeyer198 commented Jun 23, 2025 •
edited
Loading

  • Extend the error messages: Currently, the messages only tell which constraints are violated, but not why -> Track required information and format them into the messages
  • Make the scopes more consistent
  • Fix a depedency that causes SootUp to crash
  • Fix parsing of new call graph algorithms

Close #852

@schlichtig schlichtig added this pull request to the merge queue Jun 23, 2025
Merged via the queue into develop with commit 40580ba Jun 23, 2025
11 checks passed
@schlichtig schlichtig deleted the fix/error-messages branch June 23, 2025 10:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@schlichtig schlichtig schlichtig 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.

ConstraintError error message sometimes missing the reason

2 participants

@smeyer198 @schlichtig