Good old black

5 years ago · 204e0c55b7
parent faf0824c73
commit 204e0c55b7
1 changed files with 2 additions and 2 deletions
--- a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
+++ b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
@ -68,7 +68,7 @@ class BoundedLoopsStrategy(BasicSearchStrategy):

            cur_instr = state.get_current_instruction()

-            annotation.trace.append(cur_instr['address'])
+            annotation.trace.append(cur_instr["address"])

            if cur_instr["opcode"].upper() != "JUMPDEST":
                return state
@ -78,7 +78,7 @@ class BoundedLoopsStrategy(BasicSearchStrategy):
            key = 0

            for i in range(1, min(32, len(annotation.trace))):
-                key |= (annotation.trace[-i] << (8 * i))
+                key |= annotation.trace[-i] << (8 * i)

            if key in annotation._reached_count:
                annotation._reached_count[key] += 1