Searched refs:expr1233 (Results 1 – 1 of 1) sorted by relevance
1266 Expr expr1233 = vc_andExpr(vc, expr1181, expr1228); in TEST() local1315 Expr expr1282 = vc_notExpr(vc, expr1233); in TEST()1319 Expr expr1286 = vc_andExpr(vc, expr1233, expr1281); in TEST()2351 vc_DeleteExpr(expr1233); in TEST()