奇妙的最大公约数（GCD）单元测试

最大公约数（Greatest Common Divisor，简称GCD）是数学中一个重要的概念，用于求解两个或多个整数的最大公约数。在软件开发中，编写高质量的单元测试是确保代码正确性的重要一环。本文将介绍一个奇妙的GCD单元测试，并提供相应的源代码。

首先，让我们明确GCD的定义。对于两个整数a和b，它们的最大公约数（GCD）是能够同时整除a和b的最大正整数。例如，对于整数12和18，它们的最大公约数是6，因为6是12和18的公约数，并且没有更大的公约数。

我们将编写一个单元测试函数，用于测试一个自定义的GCD函数。该函数接受两个整数作为输入，并返回它们的最大公约数。以下是这个函数的实现：

def gcd(a, b):
    while b