search

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.58k stars 109 forks source link

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

Open seanrion opened 3 months ago

seanrion commented 3 months ago

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 commented 3 months ago

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.