Fix AttributeError in boolean_and_simplifier when _flatten_simplifier returns None - Githubissues

angr / claripy

An abstraction layer for constraint solvers.

BSD 2-Clause "Simplified" License

284 stars 93 forks source link

Fix AttributeError in boolean_and_simplifier when _flatten_simplifier returns None #339

Closed mounir-khaled closed 1 year ago

mounir-khaled commented 1 year ago

This should fix this issue https://github.com/angr/claripy/issues/338

rhelmot commented 1 year ago

ty!