zetzit / zz

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

catch bad project name #151

Closed aep closed 3 years ago

aep commented 3 years ago

zetz accepts a non c-ident as name = "" in zz.toml but C doesn't so users get errors from unhappy compilers way too late.

catch that early and make sure we throw a more useful error message

see https://github.com/zetzit/zz/issues/150