Merge pull request #15101 from yoff/python/update-InlineTaintTestPaths-to-new-api

Python: update to new API update is in a comment, so compilation never failed in CI.
This commit is contained in:
Rasmus Wriedt Larsen
2023-12-19 11:10:55 +01:00
committed by GitHub

View File

@@ -23,7 +23,7 @@ module Flows = TaintTracking::Global<Config>;
import Flows::PathGraph
// int explorationLimit() { result = 5 }
// module FlowsPartial = Flows::FlowExploration<explorationLimit/0>;
// module FlowsPartial = Flows::FlowExplorationFwd<explorationLimit/0>;
// import FlowsPartial::PartialPathGraph
from Flows::PathNode source, Flows::PathNode sink
where Flows::flowPath(source, sink)