Run Details #648

Question: Write Python 3.12 code only. Define exactly one function named gcd_checked(a, b). It must return the greatest common divisor of two integers. Raise TypeError if either argument is not an int. Raise ValueError if either argument is <= 0. Do not use any imports (no numpy, requests, or other libraries). Sandbox note: dunder attribute access is blocked (for example, type(x).__name__). Avoid names/attributes starting with '__'. Expected output format: - Return exactly one fenced Markdown code block starting with ```python and ending with ```. - Put only valid Python code inside that block (no prose before/after). - Use 4 spaces for indentation (not tabs). - Do not return JSON and do not wrap code in a "function" key. Sample input/output behavior: - gcd_checked(54, 24) -> 6 Task: Write a Python 3.12 function that calculates GCD (greatest common denominator) and raises exceptions for invalid input.

Submitted code

def gcd_checked(a, b):
  """Calculates the greatest common divisor of two integers.

  Args:
    a: An integer.
    b: An integer.

  Returns:
    The greatest common divisor of a and b, or raises ValueError if a <= 0 or b <= 0.
  """
  if not isinstance(a, int) or not isinstance(b, int):
    raise TypeError("Both arguments must be integers.")  
  if a <= 0 or b <= 0:
    raise ValueError("Both arguments must be positive integers.")
  while(b != 0):
    a, b = b, a % b
  return a