Searched refs:ffxeqf1 (Results 1 – 1 of 1) sorted by relevance
342 Node ffxeqf1 = d_nm->mkNode(EQUAL, ffx, f1); in testRewriterComplicated() local343 Node or1 = d_nm->mkNode(OR, and1, ffxeqf1); in testRewriterComplicated()