foundry.toml

################################################################
#                   PROFILE: DEFAULT (local)                   #
################################################################

[profile.default]

src = 'src'
out = 'forge-artifacts'
script = 'scripts'
build_info_path = 'artifacts/build-info'

optimizer = true
optimizer_runs = 999999

# IMPORTANT:
# When adding any new compiler profiles or compilation restrictions, you must
# also update the restrictions in the "LITE" profile to match. This guarantees
# that builds will fully overwrite one another without needing to clean the
# entire build directory.
additional_compiler_profiles = [
  { name = "dispute", optimizer_runs = 5000 },
]
compilation_restrictions = [
  { paths = "src/dispute/DisputeGameFactory.sol", optimizer_runs = 5000 },
  { paths = "src/dispute/v2/FaultDisputeGameV2.sol", optimizer_runs = 5000 },
  { paths = "src/dispute/v2/PermissionedDisputeGameV2.sol", optimizer_runs = 5000 },
  { paths = "src/L1/OPContractsManager.sol", optimizer_runs = 5000 },
  { paths = "src/L1/OPContractsManagerStandardValidator.sol", optimizer_runs = 5000 },
  { paths = "src/L1/OptimismPortal2.sol", optimizer_runs = 5000 },
  { paths = "src/L1/SystemConfig.sol", optimizer_runs = 5000 },
  { paths = "src/universal/OptimismMintableERC20Factory.sol", optimizer_runs = 5000 },
  { paths = "src/dispute/AnchorStateRegistry.sol", optimizer_runs = 5000 },
  { paths = "src/dispute/DelayedWETH.sol", optimizer_runs = 5000 },
  { paths = "src/universal/ProxyAdmin.sol", optimizer_runs = 5000 },
  { paths = "src/universal/Proxy.sol", optimizer_runs = 5000 },
  { paths = "src/L2/OptimismMintableERC721.sol", optimizer_runs = 5000 },
  { paths = "src/L2/OptimismMintableERC721Factory.sol", optimizer_runs = 5000 },
]

extra_output = ['devdoc', 'userdoc', 'metadata', 'storageLayout']
bytecode_hash = 'none'
ast = true
evm_version = 'cancun'

remappings = [
  '@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts',
  '@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts',
  '@openzeppelin/contracts-v5/=lib/openzeppelin-contracts-v5/contracts',
  'openzeppelin/=lib/risc0-ethereum/lib/openzeppelin-contracts/',
  '@rari-capital/solmate/=lib/solmate',
  '@lib-keccak/=lib/lib-keccak/contracts/lib',
  'solady/=lib/solady/src/',
  '@solady/=lib/solady/src',
  '@solady-v0.0.245/=lib/solady-v0.0.245/src',
  'forge-std/=lib/forge-std/src',
  'ds-test/=lib/forge-std/lib/ds-test/src',
  'safe-contracts/=lib/safe-contracts/contracts',
  'kontrol-cheatcodes/=lib/kontrol-cheatcodes/src',
  'interfaces/=interfaces'
]

fs_permissions = [
  { access='read-write', path='./.resource-metering.csv' },
  { access='read-write', path='./snapshots/' },
  { access='read-write', path='./deployments/' },
  { access='read', path='./deploy-config/' },
  { access='read', path='./deploy-config-periphery/' },
  { access='read', path='./broadcast/' },
  { access='read', path = './forge-artifacts/' },
  { access='read-write', path='./.testdata/' },
  { access='read', path='./kout-deployment' },
  { access='read', path='./test/fixtures' },
  { access='read', path='./lib/superchain-registry/superchain/configs/' },
  { access='read', path='./lib/superchain-registry/validation/standard/' },
]

# 5159 error code is selfdestruct error code
# 2424 is deprecated natspec memory-safe-assembly comment (forge-std, solmate)
# 8429 is deprecated virtual modifiers (solmate)
ignored_error_codes = ["transient-storage", "code-size", "init-code-size", "too-many-warnings", 5159, 2424, 8429]
deny = "warnings"
ffi = true

# We set the gas limit to max int64 to avoid running out of gas during testing, since the default
# gas limit is 1B and some of our tests require more gas than that, such as
# test_callWithMinGas_noLeakageLow_succeeds. We use this gas limit since it was the default gas
# limit prior to https://github.com/foundry-rs/foundry/pull/8274. Due to toml-rs limitations, if
# you increase the gas limit above this value it must be a string.
gas_limit = 9223372036854775807

[fuzz]
runs = 64

[fmt]
line_length=120
multiline_func_header='all'
bracket_spacing=true
wrap_comments=true

[lint]
lint_on_build = false

################################################################
#                         PROFILE: CI                          #
################################################################

[profile.ci.fuzz]
runs = 128

[profile.ci.invariant]
runs = 64
depth = 32

################################################################
#                     PROFILE: CICOVERAGE                      #
################################################################

[profile.cicoverage]
optimizer = false
compilation_restrictions = []

[profile.cicoverage.fuzz]
runs = 1

[profile.cicoverage.invariant]
runs = 1
depth = 1

################################################################
#                       PROFILE: CIHEAVY                       #
################################################################

[profile.ciheavy.fuzz]
runs = 20000
timeout = 300

[profile.ciheavy.invariant]
runs = 128
depth = 512
timeout = 300

################################################################
#                         PROFILE: LITE                        #
################################################################

[profile.lite]
optimizer = false
optimizer_runs = 0

[profile.lite.fuzz]
runs = 8

[profile.lite.invariant]
runs = 8
depth = 8

# IMPORTANT:
# See the info in the "DEFAULT" profile to understand this section.
additional_compiler_profiles = [
  { name = "dispute", optimizer_runs = 0 },
]
compilation_restrictions = [
  { paths = "src/dispute/DisputeGameFactory.sol", optimizer_runs = 0 },
  { paths = "src/dispute/v2/FaultDisputeGameV2.sol", optimizer_runs = 0 },
  { paths = "src/dispute/v2/PermissionedDisputeGameV2.sol", optimizer_runs = 0 },
  { paths = "src/L1/OPContractsManager.sol", optimizer_runs = 0 },
  { paths = "src/L1/OPContractsManagerStandardValidator.sol", optimizer_runs = 0 },
  { paths = "src/L1/OptimismPortal2.sol", optimizer_runs = 0 },
  { paths = "src/L1/SystemConfig.sol", optimizer_runs = 0 },
  { paths = "src/universal/OptimismMintableERC20Factory.sol", optimizer_runs = 0 },
  { paths = "src/dispute/AnchorStateRegistry.sol", optimizer_runs = 0 },
  { paths = "src/dispute/DelayedWETH.sol", optimizer_runs = 0 },
  { paths = "src/universal/ProxyAdmin.sol", optimizer_runs = 0 },
  { paths = "src/universal/Proxy.sol", optimizer_runs = 0 },
  { paths = "src/L2/OptimismMintableERC721.sol", optimizer_runs = 0 },
  { paths = "src/L2/OptimismMintableERC721Factory.sol", optimizer_runs = 0 },
]

################################################################
#                         PROFILE: KONTROL                     #
################################################################

[profile.kprove]
src = 'test/kontrol/proofs'
out = 'kout-proofs'
test = 'test/kontrol/proofs'
script = 'test/kontrol/proofs'