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

Tests for #785 #790

Open
OlivierBBB opened this issue Jun 24, 2024 · 0 comments
Open

Tests for #785 #790

OlivierBBB opened this issue Jun 24, 2024 · 0 comments
Assignees
Labels

Comments

@OlivierBBB
Copy link
Collaborator

Here are two families of tests for #785:

Simple deployment

  • compute a CREATE or CREATE2 address 0xaddr ahead of time
  • perform a bunch of revert-sensitive account operations on an as-of-yet undeployed address e.g.
    • value transfer with (some variation of) CALL
    • trivial EXTCODEHASH/EXTCODECOPY/EXTCODESIZE invocations
    • BALANCE calls
  • these operations change warmth and/or balance of 0xaddr and must be undone at the right point in time
  • CREATE or CREATE2 deployment at that address
    • deployment is either successful or not
  • resume the previous activities
  • in case of CREATE2 potentially attempt (and fail with Failure condition $F$) to redeploy at said address
  • resume the previous activities
  • REVERT

Intricate multiple deployments

Same thing but with $n$ CREATE / CREATE2 and REVERT's in the middle so that we can take DEPLOYMENT_NUMBER from $0$ to $n$ (rather from $0$ to $1$.)

@OlivierBBB OlivierBBB self-assigned this Jun 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants