Refactor with black

fix/dep_pruning
Nikhil 5 years ago
parent dc381616df
commit 9597fe50c9
  1. 2
      mythril/laser/ethereum/plugins/implementations/dependency_pruner.py

@ -142,7 +142,7 @@ class DependencyPruner(LaserPlugin):
self.iteration = 0 self.iteration = 0
self.dependency_map = {} # type: Dict[int, List[object]] self.dependency_map = {} # type: Dict[int, List[object]]
self.protected_addresses = set() # type: Set[int] self.protected_addresses = set() # type: Set[int]
self.loop_address = set() # type: Set[int] self.loop_address = set() # type: Set[int]
def update_dependency_map(self, path: List[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. """Update the dependency map for the block offsets on the given path.

Loading…
Cancel
Save