Python: Update debug query to changed API

The change is commented out by default
which is why no compilation tests failed
when the API changed.
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-11-01 11:39:51 +01:00
parent 9736936e54
commit 0b45b63bd2

View File

@@ -22,7 +22,7 @@ module Flows = DataFlow::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)