Skip to content

Kani proofs#199

Draft
a10y wants to merge 1 commit intodevelopfrom
aduffy/kani
Draft

Kani proofs#199
a10y wants to merge 1 commit intodevelopfrom
aduffy/kani

Conversation

@a10y
Copy link
Copy Markdown
Contributor

@a10y a10y commented Mar 30, 2026

Just experimenting a bit here, curious to see if this finds anything. We have a lot of unsafe and Miri helps but only for the things we actually have test coverage over

Signed-off-by: Andrew Duffy <andrew@a10y.dev>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant