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

Merge all maxed partitions when computing time successor #35

Open
morxa opened this issue Feb 9, 2021 · 0 comments
Open

Merge all maxed partitions when computing time successor #35

morxa opened this issue Feb 9, 2021 · 0 comments

Comments

@morxa
Copy link
Owner

morxa commented Feb 9, 2021

When we compute the time successor, we may end up with multiple partitions that contain regions that are maxed out. These should all be put into the same partition.

Also add a comment that we are not 100% sure if this is actually correct :)

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

No branches or pull requests

1 participant