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

Enable TestVlgTargetGen.MemoryInternal #185

Closed Bo-Yuan-Huang closed 4 years ago

Bo-Yuan-Huang commented 4 years ago

Enable the unit test TestVlgTargetGen.MemoryInternal to investigate whether the previous segmentation fault in #178 is a false alarm. Run through the updated CI checks.