We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents f50817e + 0b6d47b commit 2305d55Copy full SHA for 2305d55
python/ql/test/experimental/meta/debug/InlineTaintTestPaths.ql
@@ -23,7 +23,7 @@ module Flows = TaintTracking::Global<Config>;
23
import Flows::PathGraph
24
25
// int explorationLimit() { result = 5 }
26
-// module FlowsPartial = Flows::FlowExploration<explorationLimit/0>;
+// module FlowsPartial = Flows::FlowExplorationFwd<explorationLimit/0>;
27
// import FlowsPartial::PartialPathGraph
28
from Flows::PathNode source, Flows::PathNode sink
29
where Flows::flowPath(source, sink)
0 commit comments