Foundry 高级测试: Fuzz、Invariant与形式化证明
概述 本文以较为简单的 WETH 合约为例,介绍在 Foundry 架构中常用的几种较为高级的测试方法,如下: Fuzz Testing 基于属性的单元测试的升级版 Invariant Testing 基于随机数据整体调用的测...
概述 本文以较为简单的 WETH 合约为例,介绍在 Foundry 架构中常用的几种较为高级的测试方法,如下: Fuzz Testing 基于属性的单元测试的升级版 Invariant Testing 基于随机数据整体调用的测...
问题 如果读者熟悉我,应该会发现我经常使用 VSCode 作为主力编辑器,但随着我安装的 VSCode 的插件逐渐增加,我发现对于部分较小的任务使用 VSCode 过于笨重,比如简单的...
声明,本文译自 pandas with hundreds of millions of rows。 如果您的英语水平较好,可以阅读原文。为了译文更加流畅,译者补充了部分内容。 问题 我们希望获得国内航班平均延...
概述 在之前的两篇文章中,我们讨论了对以太坊常规数据的导入和分析。文章链接如下: Clickhouse 以太坊分析:基础交易数据清洗 Clickhouse 以太坊分析:交易日志分析 如果您...
概述 在上一篇中,我们介绍了如何使用 Clickhouse 进行基础的信息提取,这些信息往往依赖于以太坊底层机制,我们只能获得如 ETH 转账、 gas 等信息,这些信息并没有涵盖...