Update mythril/laser/ethereum/strategy/extensions/bounded_loops.py

Co-Authored-By: Nikhil Parasaram <nikhilparasaram@gmail.com>
5 years ago · 04a2fd4e7f
parent c465e14fb7
commit 04a2fd4e7f
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
+++ b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
@ -71,7 +71,7 @@ class BoundedLoopsStrategy(BasicSearchStrategy):
                cur_instr["opcode"], cur_instr["address"], state.mstate.prev_pc
            )
-            if key in annotation._reached_count.keys():
+            if key in annotation._reached_count:
                annotation._reached_count[key] += 1
            else:
                annotation._reached_count[key] = 1