SMT-LIB2 Parser Bug Fix

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 3 years ago

zhanghongce commented 3 years ago

Attempt to fix the Heisenbug on MacOS release build. #190

The changes here are basically

replacing pointers with indices to refer to elements inside containers (I think this was the main reason for the memory corruption as those pointers became invalid when containers reallocate to hold more elements)
fixing function pointer signature mismatch