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
Better error messages for built-in functions (using Viper annotations) #174
Closed
marcoeilers closed 8 months ago
This change is