Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Assumption

156                             bool Assumption) const;
1358 bool Assumption) const {
1599 // If an assumption was made on a branch, it should be caught