New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix config.py so it is reproducible #1636
base: master
Are you sure you want to change the base?
Conversation
Related to this, I've noticed that if you run the existing unit test suite with pytest and the |
Yes, trying to run the tests in random order via |
The config system is a little brittle when Manticore tries to import all platform modules since we set the config options upon import and declaring the same config option in two different platforms will cause issues. This is a bit of a band-aid over the real problem, which might look something like moving shared config options to a separate file that each platform can import. Looks to be some related refactoring work here #1636
All config variables should exist via config.py.
Attempt to erradicate argparse.
Attempt to separate EVM, WASM, NATIVE configs
Make it save the full config at mcore.yml towards a reproducible exploration.