Make keys unique

5 years ago · e9dfa8fca3
parent e1bd418aa4
commit e9dfa8fca3
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
@ -70,7 +70,7 @@ class BoundedLoopsStrategy(BasicSearchStrategy):
                return state
            # create unique instruction identifier
-            key = "{}{}{}".format(
+            key = "{};{};{}".format(
                cur_instr["opcode"], cur_instr["address"], state.mstate.prev_pc
            )