-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathmythril.config.json
More file actions
23 lines (23 loc) · 1.17 KB
/
mythril.config.json
File metadata and controls
23 lines (23 loc) · 1.17 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
{
"remappings": [
"forge-std/=lib/forge-std/src/",
"@layerzerolabs/oft-evm-upgradeable/=lib/devtools/packages/oft-evm-upgradeable/",
"@openzeppelin/contracts-upgradeable/=lib/openzeppelin-contracts-upgradeable/contracts/",
"@layerzerolabs/test-devtools-evm-foundry/=lib/devtools/packages/test-devtools-evm-foundry/",
"@openzeppelin/foundry-upgrades/=lib/openzeppelin-foundry-upgrades/src/",
"@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/",
"@createx/contracts/=lib/createx/src/",
"@layerzerolabs/lz-evm-protocol-v2/=lib/layerzero-v2/packages/layerzero-v2/evm/protocol/",
"@layerzerolabs/lz-evm-messagelib-v2/=lib/layerzero-v2/packages/layerzero-v2/evm/messagelib/",
"@layerzerolabs/oapp-evm-upgradeable/=lib/devtools/packages/oapp-evm-upgradeable/",
"@layerzerolabs/oapp-evm/=lib/devtools/packages/oapp-evm/",
"@layerzerolabs/oft-evm/=lib/devtools/packages/oft-evm/",
"@layerzerolabs/lz-evm-v1-0.7/=lib/layerzero-v1/",
"solidity-bytes-utils/=lib/solidity-bytes-utils/",
"ds-test/=lib/solidity-bytes-utils/lib/forge-std/lib/ds-test/src/"
],
"optimizer": {
"enabled": true,
"runs": 200
}
}