zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

add support for struct field init shorthand #67

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

Fixes #65

aep commented 4 years ago

lgtm, sorry for the late response.

CI failure is unrelated.

could you add a test?

jwerle commented 4 years ago

I added a test

aep commented 4 years ago

lgtm, thanks!

jwerle commented 4 years ago

:raised_hands: