You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I can confirm this bug in UnorderedMerge. We're missing some cases there in which a child node has already been merged but the algorithm doesn't move past that child and is therefore stuck in the loop.
I tried to address this in xai/jdime@1f385d6, which however seems to break one of our generated testcases.
That's not necessarily a problem, as the 'expected output' was also generated. But still, we have to confirm this before we merge that patch into develop.
Activity
Fix potential infinite loop in UnorderedMerge
xai commentedon May 28, 2018
I can confirm this bug in UnorderedMerge. We're missing some cases there in which a child node has already been merged but the algorithm doesn't move past that child and is therefore stuck in the loop.
I tried to address this in xai/jdime@1f385d6, which however seems to break one of our generated testcases.
That's not necessarily a problem, as the 'expected output' was also generated. But still, we have to confirm this before we merge that patch into develop.
guilhermejccavalcanti commentedon Jun 25, 2018
Thank you!