Searched refs:id2050 (Results 1 – 1 of 1) sorted by relevance
1041 Expr id2050=vc->notExpr(id2051); in testgeorge1() local3126 vc->query(id2050); in testgeorge1()3129 vc->assertFormula(id2050); in testgeorge1()