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