Black &$^@#Q*&ETQ#&^

pull/1060/head
Bernhard Mueller 6 years ago
parent 0293ef8427
commit beff100b48
  1. 4
      mythril/laser/ethereum/strategy/custom.py

@ -48,8 +48,6 @@ class BFSBoundedLoopsStrategy(BreadthFirstSearchStrategy):
self._jumpdest_count[transaction] = {}
self._jumpdest_count[transaction][target] = 0
log.info(
"JUMPDEST COUNT: {}".format(self._jumpdest_count[transaction][target])
)
log.info("JUMPDEST COUNT: {}".format(self._jumpdest_count[transaction][target]))
return state

Loading…
Cancel
Save