x86-symbolic: Create an exception type for missing semantics - Githubissues

GaloisInc / macaw

Open source binary analysis tools.

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

203 stars 20 forks source link

x86-symbolic: Create an exception type for missing semantics #367

Closed langston-barrett closed 8 months ago

langston-barrett commented 8 months ago

This is an exception that consumers might want to catch.