assumeNotPrecompile
签名
function assumeNotPrecompile(address addr) public;
function assumeNotPrecompile(address addr, uint256 chainid) public;
描述
使用 assume
来从模糊测试中过滤预编译地址。
可选地,可以指定 chainid
来过滤在相应链上已知的预编译。
assumeNotPrecompile
function assumeNotPrecompile(address addr) public;
function assumeNotPrecompile(address addr, uint256 chainid) public;
使用 assume
来从模糊测试中过滤预编译地址。
可选地,可以指定 chainid
来过滤在相应链上已知的预编译。