angr / angr-dev

Some helper scripts to set up an environment for angr development.
BSD 2-Clause "Simplified" License
114 stars 95 forks source link

Simplify extremely-simple-setup.sh #168

Closed twizmwazin closed 1 year ago

twizmwazin commented 1 year ago

This is my proposed solution to #167

zwimer commented 1 year ago

CI is failing because of: https://github.com/angr/angr-dev/issues/169

zwimer commented 1 year ago

Rerun CI after https://github.com/angr/angr-dev/pull/171 is merged