Skip to content

Conversation

mukoki
Copy link
Contributor

@mukoki mukoki commented Mar 15, 2023

If input is not correctly noded, the algorithm checking disjoint shell could enter an infinite loop. It now checks that the search of disjoint shells always progresses and throws an Exception if it does not progress any more.

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.

1 participant