Creusot helps you prove your Rust code is correct
Article URL: https://github.com/creusot-rs/creusot/tree/master Comments URL: https://news.ycombinator.com/item?id=48309645 Points: 5 # Comments: 0
Creusot is a deductive verifier for Rust code. It verifies your code is safe from panics, overflows, and assertion failures. By adding annotations you can take it further and verify your code does th… [+1616 chars]