Home | History | Annotate | Download | only in tutorial

Lines Matching full:consistency

1228                 (* Validate the generated code, checking for consistency. *)