Home | History | Annotate | Download | only in Analysis

Lines Matching full:forces

562   return compare ? 0 : 1; // Forces the evaluation of the symbolic constraint.