Turn on InvSyn on Mac - Githubissues

PrincetonUniversity / ILAng

A Modeling and Verification Platform for SoCs using ILAs

https://bo-yuan-huang.gitbook.io/ilang/

MIT License

75 stars 18 forks source link

Closed zhanghongce closed 4 years ago

zhanghongce commented 4 years ago

Previously inv-syn is not working on MacOS due to lacking of fmemopen function on BSD-like OS.

Work-around added in smt-lib2 parser to support reading from string buffer.
InvSyn seems working in Debug build. However, it seems that smtlib2parser does not work on Release build. And the reason remains unknown.