Searched refs:expr54 (Results 1 – 1 of 1) sorted by relevance
85 Expr expr54 = vc_bvConstExprFromStr(vc, "01101100"); in TEST() local137 Expr expr104 = vc_writeExpr(vc, expr102, expr103, expr54); in TEST()3530 vc_DeleteExpr(expr54); in TEST()