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 basic Windows tests in CI; fix automatic Z3 executable path detection on Windows #211
Closed
marcoeilers closed 1 month ago
This change is