Python: update to new API

update is in a comment, so compilation
never failed in CI.
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-12-14 11:56:05 +01:00
parent 8f0e0b6559
commit 0b6d47b8bc

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)