search

zetzit / zz

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

fixing tests: don't string replace things not strings #64

Closed aep closed 4 years ago

aep commented 4 years ago

not sure what the original intent of this was, but its broken. probably a windows thing, lets see how CI likes the revert