Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
Mozilla Public License 2.0
233
stars
8
forks
source link
Add error message for fold/unfold with non-positive permissions #193
Closed
marcoeilers closed 6 months ago
This is an adaptation to a change in Viper that previously would have led to a crash in Nagini.
This change is