Home | History | Annotate | Download | only in program

Lines Matching full:invariant

1074          fprintf(f, " Invariant");