Searched refs:KnownSMin (Results 1 – 1 of 1) sorted by relevance
112 KnownBits KnownSMin(KnownAnd); in TEST() local152 KnownSMin.One &= Res; in TEST()153 KnownSMin.Zero &= ~Res; in TEST()220 EXPECT_EQ(KnownSMin, ComputedSMin); in TEST()