|
|
|
@ -114,6 +114,8 @@ def test_vmtest( |
|
|
|
|
post_condition: dict, |
|
|
|
|
) -> None: |
|
|
|
|
|
|
|
|
|
if test_name != "JDfromStorageDynamicJump0_jumpdest0": |
|
|
|
|
return |
|
|
|
|
# Arrange |
|
|
|
|
if test_name in ignored_test_names: |
|
|
|
|
return |
|
|
|
@ -125,7 +127,8 @@ def test_vmtest( |
|
|
|
|
account.code = Disassembly(details["code"][2:]) |
|
|
|
|
account.nonce = int(details["nonce"], 16) |
|
|
|
|
for key, value in details["storage"].items(): |
|
|
|
|
account.storage[int(key, 16)] = int(value, 16) |
|
|
|
|
key_bitvec = symbol_factory.BitVecVal(int(key, 16), 256) |
|
|
|
|
account.storage[key_bitvec] = int(value, 16) |
|
|
|
|
|
|
|
|
|
world_state.put_account(account) |
|
|
|
|
account.set_balance(int(details["balance"], 16)) |
|
|
|
|