Creusot

Creusot 是一个 Rust 代码演绎验证器。它可以验证你的代码是否安全，避免 panic、溢出和断言失败。通过添加注解，你还可以进一步验证代码是否执行了正确的操作。 Creusot 的工作原理是...