Skip to content
New issue

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

LEVM: EIP-7702 Debug overflow #1750

Closed
fborello-lambda opened this issue Jan 20, 2025 · 1 comment
Closed

LEVM: EIP-7702 Debug overflow #1750

fborello-lambda opened this issue Jan 20, 2025 · 1 comment
Labels
ef-tests Hive tests, execution-spec-tests levm Lambda EVM implementation pectra Pectra (Prague + Electra) hardfork

Comments

@fborello-lambda
Copy link
Contributor

We are having some mismatches when running the ef-tests.

If we run:

make run-evm-ef-tests flags="--tests account_warming.json"

we get as output:

Internal error: Unexpected overflow in gas operation

The first test:
Test: tests/prague/eip7702_set_code_tx/test_gas.py::test_account_warming[fork_Prague-state_test-single_valid_authorization_single_signer-check_delegated_account_first_True]

performs a CALL inside a CALL and the gas in the stack is set to 0. Later on when we do the following inside the generic_call()

        let gas_left_from_new_call_frame = new_call_frame
            .gas_limit
            .checked_sub(tx_report.gas_used)
            .ok_or(InternalError::GasOverflow)?;

It fails because, the new_call_frame.gas_limit == 0

@fborello-lambda fborello-lambda added ef-tests Hive tests, execution-spec-tests levm Lambda EVM implementation pectra Pectra (Prague + Electra) hardfork labels Jan 20, 2025
@fborello-lambda
Copy link
Contributor Author

Solved with PR #1769 and commit 5553209

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ef-tests Hive tests, execution-spec-tests levm Lambda EVM implementation pectra Pectra (Prague + Electra) hardfork
Projects
Status: Done
Development

No branches or pull requests

1 participant