Skip to content

Conversation

@dkcumming
Copy link
Collaborator

In checking all branches asserted that the result was either Err (an error with specified error code) or Ok I found the success case for InitializeMint{2} proof harnesses was missing the assertion. This PR adds those assertions.

Copy link
Member

@jberthold jberthold left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Makes a lot of sense

@automergerpr-permission-manager automergerpr-permission-manager bot merged commit ffd21b7 into proofs Dec 15, 2025
1 check passed
@jberthold jberthold deleted the dc/assert-ok branch December 17, 2025 22:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants