Make verification methods of proofs return a Result
and mark them with #[must_use]
#13
Labels
code quality
Making things simpler
Milestone
This will help ensure that the verification results are not ignored.
The text was updated successfully, but these errors were encountered: