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

Revert "fix ila_sim in issue #141" #143

Closed Bo-Yuan-Huang closed 5 years ago

Bo-Yuan-Huang commented 5 years ago

Reverts Bo-Yuan-Huang/ILAng#142

The "fix" is not complete and insufficient to pass the check. It does not handle cases like copy construction...