4 ms·
There's a tool for verification of Python programs based on contracts which uses Z3: https://github.com/pschanely/CrossHair https://github.com/pschanely/CrossHa
by hypernovawebant 5y ago
There's a tool for verification of Python programs based on contracts which uses Z3: https://github.com/pschanely/CrossHair https://github.com/pschanely/CrossHair
You can use it as part of your CI or during the development (there's even a neat "watch" mode, akin to auto-correct).