theftC 的属性测试库认领

theft 是基于属性测试的 C 库。theft 并不是使用定义特定的输入，运行代码，然后测试和检测结果的方式，而是进行属性断言（“任意可能的输入，[