Searched refs:sqrtMaxPlus1 (Results 1 – 1 of 1) sorted by relevance
39 size_t sqrtMaxPlus1 = sqrtMax + 1; in DEF_TEST() local43 REPORTER_ASSERT(r, safe.mul(sqrtMax, sqrtMaxPlus1) == sqrtMax << halfBits); in DEF_TEST()45 REPORTER_ASSERT(r, safe.mul(sqrtMaxPlus1, sqrtMaxPlus1) == 0); in DEF_TEST()