assumeNoPrecompiles
Signature
function assumeNoPrecompiles(address addr) public;
function assumeNoPrecompiles(address addr, uint256 chainid) public;
Description
Uses assume to filter precompile addresses from the fuzz tests.
Optionally, a chainid may be specified to filter known precompiles on the respective chain.