linea-tracer
linea-tracer copied to clipboard
Tests for Shomei <> State Manager <> HUB integration
We require a test doing the following
- prepopulate state with account
Bsuch that-
Bhas the ability toSELFDESTRUCT - its address is produced using the
CREATE2recipe of some other accountA -
optionally
Bpre-populated with storage valuev ≠ 0x00at storage keyk ≠ 0x00
-
- transactions
// transaction 1:
message call transaction to B
either:
- no pre-warming
- pre-warm storage key k of account B
either:
- don't touch storage
- read storage key k
- write to storage key k
- v -> 0
- v -> v
- v -> v' ≠ 0x00
DO trigger its SELFDESTRUCT
// transaction 2:
message call transaction to A
either:
- no pre-warming
- pre-warm storage key k of account B
message call transaction to A
CREATE2 deploying B
CALL B and either:
- don't touch storage
- read storage key k
- write to storage key k
- 0 -> v
- 0 -> 0
either:
- trigger its SELFDESTRUCT
- don't SELFDESTRUCT
RETURN to A
either:
- REVERT
- no REVERT