fix bug with disappearing constraints when tracking in solver is enabled. NOTE: reusing z3 solvers is fundamentally broken anyways so always clearing is fine Should fix https://github.com/angr/claripy/issues/137 and possibly https://github.com/angr/angr/issues/1517.
fix bug with disappearing constraints when tracking in solver is enabled. NOTE: reusing z3 solvers is fundamentally broken anyways so always clearing is fine
Should fix https://github.com/angr/claripy/issues/137 and possibly https://github.com/angr/angr/issues/1517.

angr/claripy