Lines Matching full:consistency
191 (* Validate the generated code, checking for consistency. *)782 (* Validate the generated code, checking for consistency. *)
