3574ea5b27
* Add foundry deployment script and config * Add generated by foundry build artifact for Treasury * Add shortcut commands for goerli deployment * Switch to a production version of predicting a deployment address * Lower gas price * Fix a copy-paste error * Productionise and final test
38 lines
900 B
TOML
38 lines
900 B
TOML
[profile.default]
|
|
src = 'src'
|
|
out = 'out'
|
|
libs = ['lib', "../utils/contracts/src/"]
|
|
match_path = "test/unit/*.sol"
|
|
fs_permissions = [{ access = "read", path = "./" }]
|
|
remappings = [
|
|
'@openzeppelin/=./lib/openzeppelin-contracts/contracts/',
|
|
'@openzeppelin-contracts-upgradeable/=./lib/openzeppelin-contracts-upgradeable/contracts/',
|
|
'@0x/contracts-utils/=../utils/',
|
|
]
|
|
solc = '0.8.19'
|
|
optimizer_runs = 20_000
|
|
via_ir = true
|
|
|
|
[profile.integration]
|
|
match_path = "test/integration/*.sol"
|
|
gas_price = 31_000_000_000
|
|
|
|
[rpc_endpoints]
|
|
goerli = "${GOERLI_RPC_URL}"
|
|
mainnet = "${MAINNET_RPC_URL}"
|
|
|
|
[etherscan]
|
|
goerli = { key = "${ETHERSCAN_API_KEY}" }
|
|
|
|
[profile.smt.model_checker]
|
|
engine = 'chc'
|
|
timeout = 10_000
|
|
targets = [
|
|
'assert',
|
|
'constantCondition',
|
|
'divByZero',
|
|
'outOfBounds',
|
|
'underflow'
|
|
]
|
|
contracts = { 'src/ZeroExProtocolGovernor.sol' = [ 'ZeroExProtocolGovernor' ] }
|