Echidna 中基于属性的测试功能是使用 Hedgehog 实现的，Hedgehog 是 Jacob Stanley 开发的基于属性的测试库。Hedgehog 可以看作是基于 QuickCheck 的优化版。

测试方法

https://github.com/crytic/building-secure-contracts/blob/master/program-analysis/echidna/basic/common-testing-approaches.md

• Internal testing 对于不需要复杂初始化且具有单个入口点的简单合约特别有用
• External testing 对于处理需要外部初始化的合约很有用（例如使用 Etheno）
• Partial testing 适用于一些无法模拟的场景，比如涉及预言机或代币桥

配置文件

https://github.com/crytic/echidna/blob/master/tests/solidity/basic/default.yaml

# 指定配置文件：--config echidna_config.yaml
# 测试模式：
	# property 默认
	# assertion
	# overflow
	# exploration 允许echidna在没有属性时运行
	# optimization
testMode: "property"

Boolean properties

需要手动编写属性，属性必须符合：

• 测试函数应以特定前缀命名（例如 echidna_）
• 测试函数不接受任何参数，并且总是返回一个布尔值
• 以echidna_ 开头的测试，如果属性返回 true，则判断属性通过；如果返回 false 或 revert，则判断属性失败
• 以 echidna_revert_ 开头的测试，如果属性返回任何值（true 或 false）都判断为失败，如果返回 revert 则判断为通过

基本原理

• 在目标和继承合约中调用具有随机输入的一系列函数
• 自动生成任意Tx来测试
• 检查该属性是否成立，导致属性返回 false 或抛出错误的任何Tx将被报告
• 任何副作用都将在属性执行结束时恢复，即不会影响合约原本状态

示例

• 被测合约