Searched refs:case_exprs (Results 1 – 1 of 1) sorted by relevance
1203 let mut case_exprs = vec![]; in add_annotation_constraints() localVariable1212 case_exprs.push((case_expr, body_expr)); in add_annotation_constraints()1214 (veri_ir::Expr::Switch(Box::new(c_expr), case_exprs), t) in add_annotation_constraints()