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

Sync ci-settings pylintrc #152

Closed mborgerson closed 2 years ago

mborgerson commented 2 years ago

Sync with https://github.com/angr/ci-settings/pull/40