Commit 36502e9b authored by Carlos Galindo's avatar Carlos Galindo
Browse files

Fix: do not add self-loops in movable multi-action actual nodes 

Previously, two movable actions that represented the same node had a self-loop because it connected to the last node (itself).
parent 5e71bf05

iacfg/src/main/java/es/upv/mist/slicing/I_ACFG.java

+2 −0
Original line number Diff line number Diff line
@@ -227,6 +227,8 @@ public class I_ACFG extends Graph { 
                    throw new IllegalStateException("Invalid pairing of call markers");

                }

            } else if (va instanceof VariableAction.Movable movable) {

                if (containsVertex(movable.getRealNode()))

                    continue; // Skip multi-action nodes

                movable.move(this);

                // Check whether to insert call node (when we move from input to output)

                if (input && !isActualIn(movable.getRealNode())) {