Searched refs:MaxNumPaths (Results 1 – 1 of 1) sorted by relevance
115 MaxNumPaths("dfa-max-num-paths", variable744 if (Res.size() >= MaxNumPaths) { in paths()