mirror of
https://github.com/github/codeql.git
synced 2025-12-17 01:03:14 +01:00
397 B
397 B
0.1.2
Bug Fixes
- The API for debugging flow using partial flow has changed slightly. Instead of using
module Partial = FlowExploration<limit/0>and choosing betweenPartial::partialFlowandPartial::partialFlowRev, you now choose betweenmodule Partial = FlowExplorationFwd<limit/0>andmodule Partial = FlowExplorationRev<limit/0>, and then always usePartial::partialFlow.