Searched refs:BVToInt (Results 1 – 5 of 5) sorted by relevance
202 BVToInt(Box<Expr>), enumerator291 Expr::BVToInt(b) => write!(f, "(bv2int {b})"), in fmt()
222 BVToInt(Box<Expr>), enumerator
129 SpecOp::BV2Int => unop(Expr::BVToInt, args, pos, env), in spec_op_to_expr()
1166 annotation_ir::Expr::BVToInt(x) => { in add_annotation_constraints()1178 (veri_ir::Expr::BVToInt(Box::new(ex)), t) in add_annotation_constraints()
848 Expr::BVToInt(x) => { in vir_expr_to_sexp()