pull/1344/head
Bernhard Mueller 5 years ago
parent 0daa07bd3c
commit a376ea6c44
  1. 10
      mythril/laser/ethereum/state/account.py

@ -112,14 +112,12 @@ class Account:
concrete_storage, address=self.address, dynamic_loader=dynamic_loader
)
formatted_address = "{0:#0{1}x}".format(self.address.value, 42);
formatted_address = "{0:#0{1}x}".format(self.address.value, 42)
# Metadata
if contract_name is None:
self.contract_name = (
formatted_address
if not self.address.symbolic
else "unknown"
formatted_address if not self.address.symbolic else "unknown"
)
else:
self.contract_name = contract_name
@ -131,9 +129,7 @@ class Account:
if not self.address.symbolic and dynamic_loader is not None:
_balance = dynamic_loader.read_balance(formatted_address)
self.set_balance(
_balance
)
self.set_balance(_balance)
def __str__(self) -> str:
return str(self.as_dict)

Loading…
Cancel
Save