Norhh suggestions

6 years ago · f9788dcaf7
parent 3eb9ebbcd9
commit f9788dcaf7
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
@ -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"]