科 CI构建状态 主要 jqwik 的替代重点是基于属性的测试。 有关更多详细信息和文档,请参见。