-
Notifications
You must be signed in to change notification settings - Fork 6
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
Adds support for skipping profiling if the Result is found in the checkpoint #191
Adds support for skipping profiling if the Result is found in the checkpoint #191
Conversation
2a9e864
to
6ea90c9
Compare
Why does this PR contain changes made from previous PRs? |
82a604f
to
45b9811
Compare
Sorry about that! Every Monday I pull and rebase the dev branch (analyze_subcommand_phase1) from main to ensure that there will be minimal conflicts when we eventually merge. Unfortunately, this means I need to also rebase any branches I have up for review (which I sometimes forget to do!) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM!
This adds the code to allow us to skip profiling a configuration that we have checkpointed (in a previous run).
Add in the missing method to create a representation of the GAP config and then it is the combination of GAP + PA representations that are used to determine if a config was already profiled.
If so, we skip, else we create a new/unique configuration name (by incrementing the number suffix of the highest currently stored configuration in the Results).