search

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.55k stars 106 forks source link

Add missing check of cfg!(debug_assertions) #1382

Closed fpoli closed 1 year ago