search

zetzit / zz

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

fix incorrect len("string") == strlen("string") #106

Closed aep closed 4 years ago

aep commented 4 years ago

len is always the ARRAY length. in C a string autoconverted to an array includes the terminating 0 byte

Also remove leftovers from borrow. it is already disabled anyway