Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Feature Request: Add Configuration Flag to Lower Verify Errors to Warnings #1524

Open
seanrion opened this issue Aug 7, 2024 · 1 comment
Open

Feature Request: Add Configuration Flag to Lower Verify Errors to Warnings #1524

seanrion opened this issue Aug 7, 2024 · 1 comment

Comments

@seanrion
Copy link

seanrion commented Aug 7, 2024

I would like to request a new feature for Prusti: a configuration flag named verify_errors_as_warnings that allows users to lower the severity of verification errors from errors to warnings like internal_errors_as_warnings
@seanrion seanrion mentioned this issue Aug 7, 2024
Open
@seanrion
Copy link
Author

seanrion commented Aug 7, 2024

In certain development scenarios, it is beneficial to treat verification errors as warnings. This flexibility can help in iterative development and testing phases where strict enforcement of verification errors may not be practical.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@seanrion