From f9788dcaf7c9a75eefa8f0ca71671f375d8f38ef Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Wed, 12 Jun 2019 09:26:09 +0200 Subject: [PATCH] Norhh suggestions --- 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 064f8827..48f77383 100644 --- a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py +++ b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py @@ -48,7 +48,7 @@ class BoundedLoopsStrategy(BasicSearchStrategy): :return: """ - while 1: + while True: state = self.super_strategy.get_strategic_global_state() opcode = state.get_current_instruction()["opcode"]