Searched refs:id2038 (Results 1 – 1 of 1) sorted by relevance
1035 Expr id2038=vc->notExpr(id2039); in testgeorge1() local3144 vc->query(id2038); in testgeorge1()3147 vc->assertFormula(id2038); in testgeorge1()