Searched refs:OtherIntEqZero (Results 1 – 1 of 1) sorted by relevance
411 auto OtherIntEqZero = cast<AtomicBoolValue>(Ctx.atom()); in TEST() local413 Ctx.disj(Ctx.neg(Ctx.conj(ThisIntEqZero, OtherIntEqZero)), IntsAreEq); in TEST()442 {OtherIntEqZero, "OtherIntEqZero"}}), in TEST()