parent
c7e91e2ec7
commit
e856df877a
@ -1,65 +1,16 @@ |
|||||||
{ |
{ |
||||||
"language": "Solidity", |
"language": "Solidity", |
||||||
"settings": { |
"settings": { |
||||||
"remappings": [ |
|
||||||
":g=/dir" |
|
||||||
], |
|
||||||
"optimizer": { |
"optimizer": { |
||||||
"enabled": true, |
"enabled": true, |
||||||
"runs": 200, |
"runs": 260 |
||||||
"details": { |
|
||||||
"peephole": true, |
|
||||||
"inliner": true, |
|
||||||
"jumpdestRemover": true, |
|
||||||
"orderLiterals": false, |
|
||||||
"deduplicate": false, |
|
||||||
"cse": false, |
|
||||||
"constantOptimizer": false, |
|
||||||
"yul": false |
|
||||||
} |
|
||||||
}, |
|
||||||
"evmVersion": "byzantium", |
|
||||||
"viaIR": true, |
|
||||||
"debug": { |
|
||||||
"revertStrings": "default" |
|
||||||
}, |
|
||||||
"metadata": { |
|
||||||
"useLiteralContent": true, |
|
||||||
"bytecodeHash": "ipfs" |
|
||||||
}, |
}, |
||||||
"outputSelection": { |
"outputSelection": { |
||||||
"*": { |
"*": { |
||||||
"*": [ |
"": ["ast"], |
||||||
"metadata", |
"*": ["abi", "metadata", "devdoc", "userdoc", "storageLayout", "evm.legacyAssembly", "evm.bytecode", "evm.deployedBytecode", "evm.methodIdentifiers", "evm.gasEstimates", "evm.assembly"] |
||||||
"evm.bytecode", |
|
||||||
"evm.bytecode.sourceMap" |
|
||||||
], |
|
||||||
"": [ |
|
||||||
"ast" |
|
||||||
] |
|
||||||
}, |
|
||||||
"def": { |
|
||||||
"MyContract": [ |
|
||||||
"abi", |
|
||||||
"evm.bytecode.opcodes" |
|
||||||
] |
|
||||||
} |
} |
||||||
}, |
}, |
||||||
"modelChecker": { |
"evmVersion": "byzantium" |
||||||
"divModNoSlacks": false, |
|
||||||
"engine": "chc", |
|
||||||
"showUnproved": true, |
|
||||||
"solvers": [ |
|
||||||
"cvc4", |
|
||||||
"smtlib2", |
|
||||||
"z3" |
|
||||||
], |
|
||||||
"targets": [ |
|
||||||
"underflow", |
|
||||||
"overflow", |
|
||||||
"assert" |
|
||||||
], |
|
||||||
"timeout": 20000 |
|
||||||
} |
|
||||||
} |
} |
||||||
} |
} |
Loading…
Reference in new issue