From c710d0a27d1081c2890893a69f3ebb24612609ce Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Fri, 7 Jun 2019 10:50:45 +0200
Subject: [PATCH] Disable effects check

---
 mythril/analysis/modules/integer.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py
index 57e3b47c..23195653 100644
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@@ -32,7 +32,7 @@ import logging
 
 log = logging.getLogger(__name__)
 
-DISABLE_EFFECT_CHECK = False
+DISABLE_EFFECT_CHECK = True
 
 
 class OverUnderflowAnnotation: