Searched refs:expr1040 (Results 1 – 1 of 1) sorted by relevance
1073 Expr expr1040 = vc_andExpr(vc, expr1023, expr1039); in TEST() local1074 Expr expr1041 = vc_orExpr(vc, expr1036, expr1040); in TEST()1080 Expr expr1047 = vc_iteExpr(vc, expr1040, expr57, expr57); in TEST()2544 vc_DeleteExpr(expr1040); in TEST()