import org.jspecify.annotations.NullMarked;

/**
 * Tests for BigIntegerMath.
 *
 * @author Louis Wasserman
 */
@NullMarked
@GwtCompatible
public class BigIntegerMathTest extends TestCase {
  public void testCeilingPowerOfTwo() {
    for (BigInteger x : POSITIVE_BIGINTEGER_CANDIDATES) {
      BigInteger result = BigIntegerMath.ceilingPowerOfTwo(x);
      assertTrue(BigIntegerMath.isPowerOfTwo(result));
      assertThat(result).isAtLeast(x);