CodeQL library for C#
codeql/csharp-all 1.0.1 (changelog, source)
Search

Member predicate LoopSplitting::AnalyzableLoopStmt::stop

Holds if the step pred --c--> succ should stop the split.

predicate stop(AstNode pred, AstNode succ, Completion c)