Skip to content

Commit fa4ac45

Browse files
committed
🥢 nit: Simplify framing for SLOAD/SSTORE test cases
1 parent 7e6d438 commit fa4ac45

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

tests/amsterdam/eip7928_block_level_access_lists/test_cases.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,8 @@
1616
| `test_bal_system_dequeue_consolidations_eip7251` | Ensure BAL tracks post-exec system dequeues for consolidations | Pre-populate EIP-7251 consolidation requests; produce a block where dequeues occur | BAL **MUST** include the 7251 system contract with `storage_changes` (queue slots 0–3) using `tx_index = len(txs)` | 🟡 Planned |
1717
| `test_bal_noop_storage_write` | Ensure BAL includes address with storage read for no-op writes where pre-state equals post-state | Contract with pre-existing storage value `0x42` in slot `0x01`; transaction executes `SSTORE(0x01, 0x42)` | BAL **MUST** include the contract address with `storage_reads` for the slot since it was accessed, but **MUST NOT** include it in `storage_changes` | 🟡 Planned |
1818
| `test_bal_oog_intrinsic` | Ensure BAL handles intrinsic out-of-gas (OOG) failure correctly | Transaction with gas limit below intrinsic cost | BAL **MUST** be empty for transactions that fail intrinsic gas validation | 🟡 Planned |
19-
| `test_bal_oog_sstore` | Ensure BAL handles OOG before `SSTORE` execution correctly | Alice calls `StorageContract` that executes `SSTORE` to cold slot `0x01` with insufficient gas for cold storage write | BAL **MUST** include `StorageContract` in `account_changes` but **MUST NOT** include it in `storage_changes` for slot `0x01` | 🟡 Planned |
20-
| `test_bal_oog_sload` | Ensure BAL handles OOG before `SLOAD` execution correctly | Alice calls `StorageContract` that executes `SLOAD` from cold slot `0x01` with insufficient gas for cold storage read | BAL **MUST** include `StorageContract` in `account_changes` but **MUST NOT** include it in `storage_reads` for slot `0x01` | 🟡 Planned |
19+
| `test_bal_oog_sstore` | Ensure BAL handles OOG before `SSTORE` execution correctly | Alice calls `StorageContract` that executes `SSTORE` to cold slot `0x01` with insufficient gas for cold storage write | BAL **MUST NOT** contain slot `0x01` in the `storage_changes` of `StorageContract` | 🟡 Planned |
20+
| `test_bal_oog_sload` | Ensure BAL handles OOG before `SLOAD` execution correctly | Alice calls `StorageContract` that executes `SLOAD` from cold slot `0x01` with insufficient gas for cold storage read | BAL **MUST NOT** contain slot `0x01` in the `storage_reads` of `StorageContract` | 🟡 Planned |
2121
| `test_bal_oog_balance` | Ensure BAL handles OOG before `BALANCE` execution correctly | Alice calls `BalanceCheckerContract` that executes `BALANCE` on Bob's account with insufficient gas for cold account access | BAL **MUST** include `BalanceCheckerContract` in `account_changes` but **MUST NOT** include Bob's account | 🟡 Planned |
2222
| `test_bal_oog_extcodesize` | Ensure BAL handles OOG before `EXTCODESIZE` execution correctly | Alice calls `CodeReaderContract` that executes `EXTCODESIZE` on `TargetContract` with insufficient gas for cold code access | BAL **MUST** include `CodeReaderContract` in `account_changes` but **MUST NOT** include `TargetContract` | 🟡 Planned |
2323
| `test_bal_oog_call` | Ensure BAL handles OOG before `CALL` execution correctly | Alice calls `CallerContract` that performs `CALL` to Bob's account with insufficient gas for cold account access | BAL **MUST** include `CallerContract` in `account_changes` but **MUST NOT** include Bob's account | 🟡 Planned |

0 commit comments

Comments
 (0)