From 26a9871d333ebec3e9e295bd79b859d9efd41f4b Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Tue, 1 May 2018 19:33:31 +0200
Subject: [PATCH] Ignore requires checking

---
 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 3163e0a1..e33687aa 100644
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@@ -274,7 +274,7 @@ def _search_children(statespace, node, expression, constraint=[], index=0, depth
             if len(element) < 1:
                 continue
             if _check_requires(element[0], node, statespace, constraint):
-                continue
+                pass
             results += element
 
     # Recursively search children