Searched refs:KnownSRem (Results 1 – 1 of 1) sorted by relevance
118 KnownBits KnownSRem(KnownAnd); in TEST() local177 KnownSRem.One &= Res; in TEST()178 KnownSRem.Zero &= ~Res; in TEST()245 EXPECT_TRUE(ComputedSRem.Zero.isSubsetOf(KnownSRem.Zero)); in TEST()246 EXPECT_TRUE(ComputedSRem.One.isSubsetOf(KnownSRem.One)); in TEST()