return a list for blockhash function

6 years ago · deb98df7c5
parent bb29722a8f
commit deb98df7c5
1 changed files with 2 additions and 2 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -555,7 +555,7 @@ class Instruction:
        state = global_state.mstate
        blocknumber = state.stack.pop()
        state.stack.append(BitVec("blockhash_block_" + str(blocknumber), 256))
-        return global_state
+        return [global_state]

    @instruction
    def coinbase_(self, global_state):