Add assert_fail_ implementation

6 years ago · dc0e281bd5
parent 9bd6a08b47
commit dc0e281bd5
1 changed files with 2 additions and 1 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -1004,7 +1004,8 @@ class Instruction:

    @StateTransition()
    def assert_fail_(self, global_state):
-        return []
+        # 0xfe: designated invalid opcode
+        raise InvalidJumpDestination

    @StateTransition()
    def invalid_(self, global_state):