We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Verification of yul contracts compiled with compilers greater or equal than solc v0.8.21 fails with internal server error. Logged error:
SerdeJson(Error("unknown variant `YulObject`, expected one of `Assignment`, `BinaryOperation`, `Conditional`, `ElementaryTypeNameExpression`, `FunctionCall`, `FunctionCallOptions`, `Identifier`, `IndexAccess`, `IndexRangeAccess`, `Literal`, `MemberAccess`, `NewExpression`, `TupleExpression`, `UnaryOperation`, `Block`, `Break`, `Continue`, `DoWhileStatement`, `EmitStatement`, `ExpressionStatement`, `ForStatement`, `IfStatement`, `InlineAssembly`, `PlaceholderStatement`, `Return`, `RevertStatement`, `TryStatement`, `UncheckedBlock`, `VariableDeclarationStatement`, `VariableDeclaration`, `WhileStatement`, `YulAssignment`, `YulBlock`, `YulBreak`, `YulContinue`, `YulExpressionStatement`, `YulLeave`, `YulForLoop`, `YulFunctionDefinition`, `YulIf`, `YulSwitch`, `YulVariableDeclaration`, `YulFunctionCall`, `YulIdentifier`, `YulLiteral`, `YulLiteralValue`, `YulHexValue`, `ContractDefinition`, `FunctionDefinition`, `EventDefinition`, `ErrorDefinition`, `ModifierDefinition`, `StructDefinition`, `EnumDefinition`, `UserDefinedValueTypeDefinition`, `PragmaDirective`, `ImportDirective`, `UsingForDirective`, `SourceUnit`, `InheritanceSpecifier`, `ElementaryTypeName`, `FunctionTypeName`, `ParameterList`, `TryCatchClause`, `ModifierInvocation`, `Other`", line: 1, column: 8791), ))
https://eth-sepolia.blockscout.com/address/0x349B7Ac9681c8c88b2DED03828a50520CeCe7AD1
Should be verified with solc v0.8.26+commit.8a97fa7a, without any optimization, default evmVersion and following sources
object "Proxy" { // deployment code code { let size := datasize("runtime") datacopy(0, dataoffset("runtime"), size) return(0, size) } object "runtime" { // deployed code code { calldatacopy(0, 0, calldatasize()) let result := create2(callvalue(), 0, calldatasize(), 0) if iszero(result) { revert(0, 0) } mstore(0, result) return(12, 20) } } }
The text was updated successfully, but these errors were encountered:
Tried to remove the ast from outputSelection completely by not specifying it in file-level values. Didn't work due to ethereum/solidity#14452
ast
Sorry, something went wrong.
rimrakhimov
No branches or pull requests
Verification of yul contracts compiled with compilers greater or equal than solc v0.8.21 fails with internal server error. Logged error:
How to reproduce
https://eth-sepolia.blockscout.com/address/0x349B7Ac9681c8c88b2DED03828a50520CeCe7AD1
Should be verified with solc v0.8.26+commit.8a97fa7a, without any optimization, default evmVersion and following sources
The text was updated successfully, but these errors were encountered: