Skip to content

More robust Code Quality reports for PolyspaceChecker#170

Merged
JasperCraeghs merged 6 commits intomasterfrom
fix-finding-poly
Jan 14, 2025
Merged

More robust Code Quality reports for PolyspaceChecker#170
JasperCraeghs merged 6 commits intomasterfrom
fix-finding-poly

Conversation

@JokeWaumans
Copy link
Collaborator

@JokeWaumans JokeWaumans commented Jan 14, 2025

  • Accept the line and column values of the Polyspace's input to be 0. When the line or column is 0, the line or column in the finding will be 1. Fixes this kind of errors: ValueError: Expected column number greater than 0; Got 0
  • line or column values defaults to 1, also when the value can't be converted to an integer

@JasperCraeghs JasperCraeghs changed the title Fix ValueError of Polyspace finding More robust Code Quality reports for PolyspaceChecker Jan 14, 2025
@JasperCraeghs JasperCraeghs merged commit d383fb7 into master Jan 14, 2025
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants