From 04a2fd4e7fb7ad08b7478de05f026c6055fc4b8b Mon Sep 17 00:00:00 2001 From: Nathan Date: Wed, 16 Oct 2019 09:07:30 -0400 Subject: [PATCH] Update mythril/laser/ethereum/strategy/extensions/bounded_loops.py Co-Authored-By: Nikhil Parasaram --- mythril/laser/ethereum/strategy/extensions/bounded_loops.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py index bedbc139..56c1f55b 100644 --- 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