`macaw-symbolic`: Implement `MacawFreshSymbolic` for all `macaw` `Type`s

GaloisInc / macaw

Open source binary analysis tools.

BSD 3-Clause "New" or "Revised" License

203 stars 20 forks source link

Closed RyanGlScott closed 10 months ago

RyanGlScott commented 10 months ago

Rather than erroring, we now generate fresh constants for all possible macaw Types that are supplied to the MacawFreshSymbolic operation.

Fixes #301.