MATE
MATE copied to clipboard
Intermittent CI failure: `cannot import name 'config' from 'manticore.utils'`
ImportError: cannot import name 'config' from 'manticore.utils' (/mate/.out/bdist/local/lib/python3.8/site-packages/manticore/utils/__init__.py)
https://github.com/GaloisInc/MATE/runs/7997547235?check_suite_focus=true