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.

Sign up for GitHub

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

Jump to bottom

GenericCondensedIntersectionAutomaton problems with loop in decomposition automaton #32

Open
akoehn opened this issue Jul 26, 2017 · 0 comments
Open

GenericCondensedIntersectionAutomaton problems with loop in decomposition automaton #32

akoehn opened this issue Jul 26, 2017 · 0 comments
Labels
bug Something isn't working major

Comments

@akoehn
Copy link
Owner

akoehn commented Jul 26, 2017

Original report by Christoph Teichmann (Bitbucket: cteichmann, GitHub: cteichmann).

When running the test in the attached file there are trees that the SiblingFinder based intersection contains that the intersection based on GenericCondensedIntersectionAutomaton does not contain. Running the test will output one of the trees that are not found. The problems seems to be that loops in the decomposition automaton are processed correctly.
@akoehn akoehn added major bug Something isn't working labels Mar 12, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working major
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@akoehn