20     errors: VerifierErrors,  in pretty_verifier_error()
22     let mut errors = errors.0;  in pretty_verifier_error()  localVariable
24     let num_errors = errors.len();  in pretty_verifier_error()
27         &mut PrettyVerifierError(func_w.unwrap_or_else(|| Box::new(PlainWriter)), &mut errors),  in pretty_verifier_error()
86     errors: &mut Vec<VerifierError>,  in pretty_block_header_error()
95     while i != errors.len() {  in pretty_block_header_error()
96         match errors[i].location {  in pretty_block_header_error()
102                 let err = errors.remove(i);  in pretty_block_header_error()
124     errors: &mut Vec<VerifierError>,  in pretty_instruction_error()
133     while i != errors.len() {  in pretty_instruction_error()
134         match errors[i].location {  in pretty_instruction_error()
140                 let err = errors.remove(i);  in pretty_instruction_error()
160     errors: &mut Vec<VerifierError>,  in pretty_preamble_error()
169     while i != errors.len() {  in pretty_preamble_error()
170         if entity == errors[i].location {  in pretty_preamble_error()
175             let err = errors.remove(i);  in pretty_preamble_error()