News for hackers. Stuff that matters.

A comment on Programming in Z3 by learning to think like a compiler. Parent comment

Re:Programming in Z3 by learning to think like a compiler by hypernovawebant on Tuesday May 04, 2021 @02:04AM (#27034492)
There's a tool for verification of Python programs based on contracts which uses Z3: 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).

[ Parent | on HN ]

There are no comments on this comment yet.