Skip to content
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

Added config option for "test all contracts" #102

Merged
merged 4 commits into from
Mar 7, 2023

Conversation

Xenomega
Copy link
Member

@Xenomega Xenomega commented Mar 7, 2023

This PR adds a field to the project config that indicates whether all contracts should be tested, or just ones whos names are specified in the deployment order.

This should make it behave more like echidna when disabled.

…r contracts not in the deployment order (dynamically deployed contracts) should be tested
@Xenomega Xenomega requested a review from anishnaik March 7, 2023 15:14
@Xenomega Xenomega merged commit c928ee3 into master Mar 7, 2023
@Xenomega Xenomega deleted the dev/config-test-all-contracts branch March 7, 2023 18:39
@Xenomega Xenomega mentioned this pull request Mar 12, 2023
11 tasks
damilolaedwards pushed a commit that referenced this pull request Nov 16, 2023
* Added config option to filter "test all contracts", indicating whether contracts not in the deployment order (dynamically deployed contracts) should be tested
* Changed config to default to only testing DeploymentOrder contracts
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants