You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
#187 installs angr management (and other angr libraries) in strict mode for editable build, which leads to two problems:
git pull each repo no longer updates the installed libraries because each installed dependency package is copied to .build directories (e.g., you'll see angr exist under angr-management/.build/angr, and it's the version that's used by the installed angr management).
angr management can no longer list default installed plugins.
Any of the following solutions will work for me:
Switch back to the non-strict mode of editable build.