Home | History | Annotate | Download | only in exp-sgcheck

Lines Matching full:invariant

800 /* An invariant, as resulting from watching the destination of a