diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py
index <HASH>..<HASH> 100644
--- 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):
Add assert_fail_ implementation