prusti-dev icon indicating copy to clipboard operation
prusti-dev copied to clipboard

Published 20 hours ago • verified publisher icon viperproject

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

Open seanrion opened this issue 6 months ago • 1 comments

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 avatar Aug 07 '24 10:08 seanrion