Ignore requires checking

7 years ago · 26a9871d33
parent e87dc5c454
commit 26a9871d33
1 changed files with 1 additions and 1 deletions
--- 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