search

zetzit / zz

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

make module search path a vec #156

Closed aep closed 3 years ago

aep commented 3 years ago

fixes #155

aep commented 3 years ago

@jwerle please check manually if this breaks any of your stuff. module search behaiour isnt tested well

jwerle commented 3 years ago

LGTM. I'm making very specific use of this so no worries here