Apply black

pull/709/head
Dominik Muhs 6 years ago
parent a9b43f56d2
commit d269482048
  1. 4
      mythril/analysis/symbolic.py
  2. 4
      mythril/laser/ethereum/svm.py
  3. 4
      tests/svm_test.py

@ -60,7 +60,9 @@ class SymExecWrapper:
create_timeout=create_timeout,
max_transaction_count=max_transaction_count,
)
self.laser.register_hooks(hook_type="post", hook_dict=get_detection_module_hooks())
self.laser.register_hooks(
hook_type="post", hook_dict=get_detection_module_hooks()
)
if isinstance(contract, SolidityContract):
self.laser.sym_exec(

@ -86,7 +86,9 @@ class LaserEVM:
elif hook_type == "post":
entrypoint = self.post_hooks
else:
raise ValueError("Invalid hook type %s. Must be one of {pre, post}", hook_type)
raise ValueError(
"Invalid hook type %s. Must be one of {pre, post}", hook_type
)
for op_code, funcs in hook_dict.items():
entrypoint[op_code].extend(funcs)

@ -86,7 +86,9 @@ class SVMTestCase(BaseTestCase):
accounts = {account.address: account}
laser = svm.LaserEVM(accounts, max_depth=22, max_transaction_count=1)
laser.register_hooks(hook_type="post", hook_dict=get_detection_module_hooks())
laser.register_hooks(
hook_type="post", hook_dict=get_detection_module_hooks()
)
laser.sym_exec(account.address)
laser_info = _all_info(laser)

Loading…
Cancel
Save