Light Mode

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Fix config.py so it is reproducible#1636

Draft
feliam wants to merge 7 commits intomasterfrom
dev-config
Draft

Fix config.py so it is reproducible#1636
feliam wants to merge 7 commits intomasterfrom
dev-config

Conversation

Copy link
Contributor

feliam commented Mar 19, 2020

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.

Copy link

bradlarsen commented Mar 25, 2020

Related to this, I've noticed that if you run the existing unit test suite with pytest and the pytest-random-order plugin, several Ethereum tests sporadically fail due to global configuration not being initialized fully when test modules are run in an unexpected order.

feliam reacted with thumbs up emoji

Copy link

bradlarsen commented Apr 9, 2020

Yes, trying to run the tests in random order via pytest-randomly reveals path-dependent troubles in our test suite due to config.py stuff: #1660

bradlarsen mentioned this pull request Apr 9, 2020
ehennenfent linked an issue Jun 19, 2020 that may be closed by this pull request
ekilmer mentioned this pull request Mar 3, 2021
ekilmer added a commit that referenced this pull request Mar 9, 2021
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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

ekilmer Awaiting requested review from ekilmer ekilmer will be requested when the pull request is marked ready for review ekilmer is a code owner

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Reproducible Tiered Configuration Strategy

2 participants