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.
1 parent 8f0e0b6 commit 0b6d47bCopy full SHA for 0b6d47b
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