Searched refs:ComputedMul (Results 1 – 1 of 1) sorted by relevance
224 KnownBits ComputedMul = KnownBits::mul(Known1, Known2); in TEST() local225 EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero)); in TEST()226 EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One)); in TEST()274 KnownBits ComputedMul = KnownBits::mul(Known, Known, /*SelfMultiply*/ true); in TEST() local275 EXPECT_TRUE(ComputedMul.Zero.isSubsetOf(KnownMul.Zero)); in TEST()276 EXPECT_TRUE(ComputedMul.One.isSubsetOf(KnownMul.One)); in TEST()