search

angr / claripy

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

Change Base.concrete implementation to return `not self.symbolic` #530

Closed twizmwazin closed 4 days ago

twizmwazin commented 4 days ago

Seems like this should be trivial, and faster than the fastpath