search

zetzit / zz

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

implement 'string::from_cstr()' #86

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

This PR implements string::from_cstr() which should make creating String+ instances much easier