A prompt to make LLMs write property-based tests

一个提示模板，用于引导大模型自动生成属性测试（property-based tests），帮助开发者提升测试覆盖率与质量，适合关注软件可靠性的开发团队。