|
|
@ -983,8 +983,12 @@ class Instruction: |
|
|
|
for keccak_key in keccak_keys: |
|
|
|
for keccak_key in keccak_keys: |
|
|
|
key_argument = keccak_function_manager.get_argument(keccak_key) |
|
|
|
key_argument = keccak_function_manager.get_argument(keccak_key) |
|
|
|
index_argument = keccak_function_manager.get_argument(index) |
|
|
|
index_argument = keccak_function_manager.get_argument(index) |
|
|
|
condition = (key_argument == index_argument) |
|
|
|
condition = key_argument == index_argument |
|
|
|
condition = condition if type(condition) == bool else is_true(simplify(condition)) |
|
|
|
condition = ( |
|
|
|
|
|
|
|
condition |
|
|
|
|
|
|
|
if type(condition) == bool |
|
|
|
|
|
|
|
else is_true(simplify(condition)) |
|
|
|
|
|
|
|
) |
|
|
|
if condition: |
|
|
|
if condition: |
|
|
|
return self._sstore_helper( |
|
|
|
return self._sstore_helper( |
|
|
|
copy(global_state), |
|
|
|
copy(global_state), |
|
|
|