Lines Matching refs:format

21 use alloc::format;
26     let full_msg = format!("[Verifier] Error: {}", msg.as_ref());  in reject()
32         reject(format!(  in check_prog_len()
38         reject(format!(  in check_prog_len()
59         _ => reject(format!(  in check_imm_endian()
70         reject(format!("incomplete LD_DW instruction (insn #{insn_ptr:?})"))?;  in check_load_dw()
79         reject(format!("infinite loop (insn #{insn_ptr:?})"))?;  in check_jmp_offset()
84         reject(format!(  in check_jmp_offset()
91         reject(format!(  in check_jmp_offset()
101         reject(format!("invalid source register (insn #{insn_ptr:?})"))?;  in check_registers()
106         (10, false) => reject(format!(  in check_registers()
109         (_, _) => reject(format!("invalid destination register (insn #{insn_ptr:?})")),  in check_registers()
368                 reject(format!(  in check()
382         reject(format!("jumped out of code to #{insn_ptr:?}"))?;  in check()