Recon 帮助你构建和运行不变性测试 Recon 扩展:现在有了更多的 Halmos 运行 Halmos、Echidna 和 Medusa,生成报告,并使用 Recon 扩展将损坏的测试转换为 Foundry reproducers。...
想象一下你的合约可能面临的每一个随机调用。现在测试它们全部。不变性测试就像打了兴奋剂的fuzzing,非常适合发现你从未想过的错误。深入了解! 简介 我们在 Part 6 中完成了对单个调用的压力测试;这最后一章将标准提高到有状态的...