search

viperproject / prusti-dev

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

Fix normalization of ids in package statements #1485

Closed fpoli closed 10 months ago

fpoli commented 10 months ago

This only matters for VIR programs that generate a verification error inside a package statement.