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
Terminate with error code according to verification result #178
Closed
PascalDevenoge closed 8 months ago
Sets appropriate exit codes when terminating, depending on whether translation and verification were successful.
This change is