-
Notifications
You must be signed in to change notification settings - Fork 3
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
Reconnect stuck in sequences-18.log #33
Comments
@oskari1 I agree with your analysis. I expect it's probably an issue with a pattern like so:
where if only the |
If I open the sequences-18.log and then apply the filter "Show quant k!354" then the tool gets stuck in the
VisibleInstGraph::reconnect
function, see here.I've tried to limit the maximum number of edges to 1000 or so to inspect the intermediate graph of quant k!354 and saw that it adds a lot of edges, see screenshot below.
I'll also link two SVG files to inspect the subgraph of k!354 (dark purple nodes), once without and once with other quants:
My suspicion is that it's not a correctness issue but a performance issue, due to how the equality nodes are represented in the edges of the reconnected graph.
The text was updated successfully, but these errors were encountered: