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