Searched refs:zero_lt_a (Results 1 – 1 of 1) sorted by relevance
671 Expr zero_lt_a = vc_bvSLtExpr (vc, zero, a); in test9() local672 vc_assertFormula (vc, zero_lt_a); in test9()