zetzit / zz

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

macros: do not emit incomplete c #116

Closed aep closed 3 years ago

aep commented 3 years ago

Emitting a broken C file was always a barely functional workaround. Instead not emit anything and try harder to retry emission in the next artifact iteration when the c file can be emitted completely.

This breaks some same-file macros for now, because makro::sieve really shouldnt just copy the whole module