search

angr / claripy

An abstraction layer for constraint solvers.
BSD 2-Clause "Simplified" License
284 stars 93 forks source link

Change Bool is_true and is_false implementations to avoid backends #527

Closed twizmwazin closed 3 days ago

twizmwazin commented 3 days ago

Closing in favor of https://github.com/angr/claripy/pull/534