Java: update test to account for key,val

asgerf · asgerf · commit afdbf2c3c6a2 · 2024-12-11T13:19:36.000+01:00
diff --git a/java/ql/test/library-tests/dataflow/deduplicate-path-graph/test.ql b/java/ql/test/library-tests/dataflow/deduplicate-path-graph/test.ql
@@ -47,7 +47,7 @@ predicate reachableFromPropagate(Graph::PathNode node, string state, boolean cal
   node.getNode().asExpr() = propagateCall(state) and call = false
   or
   exists(Graph::PathNode prev | reachableFromPropagate(prev, state, call) |
-    Graph::edges(prev, node)
+    Graph::edges(prev, node, _, _)
     or
     Graph::subpaths(prev, _, _, node) // arg -> out
   )

Original file line number	Diff line number	Diff line change
`@@ -47,7 +47,7 @@ predicate reachableFromPropagate(Graph::PathNode node, string state, boolean cal`
`47`	`47`	`node.getNode().asExpr() = propagateCall(state) and call = false`
`48`	`48`	`or`
`49`	`49`	`exists(Graph::PathNode prev \| reachableFromPropagate(prev, state, call) \|`
`50`		`- Graph::edges(prev, node)`
	`50`	`+ Graph::edges(prev, node, _, _)`
`51`	`51`	`or`
`52`	`52`	`Graph::subpaths(prev, _, _, node) // arg -> out`
`53`	`53`	`)`