You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In the final state the X should have empty storage. However, it has [0] == 1 because the incarnation number for the second CREATE2 is incorrectly 1.
This bug don't happen when the transaction 3.1 is in block 2 (same where selfdestruct happens): recreate_on_separate_block=False.
It seems we don't properly remember the X's prev_incarnation at the end of block 2. Formally, the account exist is not empty but has not been created with IntraBlockState::create_contract.
I tried to also keep prev_incarnation of "current" accounts in InMemoryState::update_account, but this didn't fix the problem.
The text was updated successfully, but these errors were encountered:
Silkworm is failing the CREATE2 - recreate EEST test in variant
recreate_on_separate_block=True
.The scenario is like this:
CREATE2
(incarnation 1)[0] = 1
CREATE2
(incarnation 2).In the final state the X should have empty storage. However, it has
[0] == 1
because the incarnation number for the secondCREATE2
is incorrectly 1.This bug don't happen when the transaction 3.1 is in block 2 (same where selfdestruct happens):
recreate_on_separate_block=False
.It seems we don't properly remember the X's
prev_incarnation
at the end of block 2. Formally, the account exist is not empty but has not been created withIntraBlockState::create_contract
.I tried to also keep
prev_incarnation
of "current" accounts inInMemoryState::update_account
, but this didn't fix the problem.The text was updated successfully, but these errors were encountered: