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

Allow MinimizerScheduler to not cleanup the metadata after use #1658

Merged
merged 3 commits into from
Nov 8, 2023

Conversation

beyretb
Copy link
Contributor

@beyretb beyretb commented Nov 8, 2023

By default the MinimizerScheduler consumes the metadata M once it doesn't need it anymore (e.g. MapIndexesMetadata) . It might be desirable in some cases to keep these around for later use.

Through non_metadata_removing the user can now opt out of deleting the metadata this way. I also added some documentation on the default behaviour for clarity.

@domenukk domenukk changed the title Allow MinimizerScheduler to not cleanup the metadata after use. Allow MinimizerScheduler to not cleanup the metadata after use Nov 8, 2023
@tokatoka
Copy link
Member

tokatoka commented Nov 8, 2023

does this fix the MapIndexesMetadata not found in the end?

@domenukk
Copy link
Member

domenukk commented Nov 8, 2023

Yep

@domenukk domenukk merged commit c97d0fa into AFLplusplus:main Nov 8, 2023
13 of 17 checks passed
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.

None yet

3 participants