From 19fcbcf36fdc4208485e46df26d23f2f76ebad75 Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Wed, 19 Feb 2020 13:47:51 +0100
Subject: [PATCH] use abstractmethod vs throwing NotImplementedException

---
 mythril/analysis/module/base.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mythril/analysis/module/base.py b/mythril/analysis/module/base.py
index 02d8bd7d..3d1ef271 100644
--- a/mythril/analysis/module/base.py
+++ b/mythril/analysis/module/base.py
@@ -73,14 +73,14 @@ class DetectionModule(ABC):
 
         return result
 
+    @abstractmethod
     def _execute(self, target: Union[SymExecWrapper, GlobalState]) -> Optional[List[Issue]]:
         """Module main method (override this)
 
         :param target: The target of the analysis, either a global state (callback) or the entire statespace (post)
         :return: List of encountered issues
         """
-
-        raise NotImplementedError()
+        pass
 
     def __repr__(self) -> str:
         return (