Fix type hints

dependency_prune_v2
Bernhard Mueller 6 years ago
parent 39befe9fd8
commit 88487c29f2
  1. 4
      mythril/laser/ethereum/plugins/implementations/dependency_pruner.py

@ -132,7 +132,7 @@ class DependencyPruner(LaserPlugin):
self.dependency_map = {} # type: Dict[int, List[object]]
self.protected_addresses = set() # type: Set[int]
def update_dependency_map(self, path: [int], target_location: object) -> None:
def update_dependency_map(self, path: List[int], target_location: object) -> None:
"""Update the dependency map for the block offsets on the given path.
:param path
@ -147,7 +147,7 @@ class DependencyPruner(LaserPlugin):
else:
self.dependency_map[address] = [target_location]
def protect_path(self, path: [int]) -> None:
def protect_path(self, path: List[int]) -> None:
"""Prevent an execution path of being pruned.
:param path

Loading…
Cancel
Save