Commit f39f9ef1 authored by Carlos Galindo's avatar Carlos Galindo
Browse files

Fix slicing criteria and add check for no matching node found.

parent 32c4af80
Loading
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -56,6 +56,7 @@ public class SDG extends Graph implements Sliceable, Buildable<NodeList<Compilat
        Set<GraphNode<?>> slicingCriterionNodes;
        try {
            slicingCriterionNodes = slicingCriterion.findNode(this);
            assert !slicingCriterionNodes.isEmpty();
        } catch (NoSuchElementException e) {
            throw new IllegalArgumentException("Could not locate the slicing criterion " + slicingCriterion);
        }
+2 −2
Original line number Diff line number Diff line
8 i
9 k
10 j
 No newline at end of file
9 j
10 k
 No newline at end of file