Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Assumption

208                             bool Assumption) const;
2337 bool Assumption) const {
2623 // If an assumption was made on a branch, it should be caught