dont allow unitinialized access

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

dont allow unitinialized access #30

Closed aep closed 4 years ago

aep commented 4 years ago

fixes #13

possibly breaking change because new() can no longer be used to set initial type state. that was wrong anyway tho, because user code needs to deal with a struct being all zero