search

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

More explicitly explain guarantees and limitations in Readme #52

Open richardanaya opened 4 years ago

richardanaya commented 4 years ago

It sounds like there's execution of code, but does it execute all code paths? etc.