Ruby 的基于属性的测试工具 PBT

PBT 是一个 Ruby 的基于属性的测试工具，支持多种并发方法（Ractor、多进程、多线程）。它允许开发者指定代码应遵循的一般特征，然后自动生成各种输入来验证这些属性，从而更有效地发现传统测试方法可能遗漏的边缘情况和错误。