search

angr / angr-management

The official angr GUI.
BSD 2-Clause "Simplified" License
856 stars 108 forks source link

Remove stdio monkeypatch #1273

Closed twizmwazin closed 2 weeks ago

twizmwazin commented 2 weeks ago

I think this was only needed for old z3 versions. Now that z3 is upgraded, this should be safe to remove.