From 88a456c1d44427b9ce20b2a5f32fc77f518f60d5 Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Thu, 10 May 2018 12:14:26 +0700
Subject: [PATCH] Bump LASER version

---
 mythril/analysis/modules/integer.py | 4 +++-
 requirements.txt                    | 2 +-
 setup.py                            | 4 ++--
 3 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py
index c34d3c4e..056bcbe0 100644
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@@ -82,9 +82,11 @@ def _check_integer_overflow(statespace, state, node):
         logging.debug("[INTEGER_OVERFLOW] no model found")
         return issues
 
+    '''
     if not _verify_integer_overflow(statespace, node, expr, state, model, constraint, op0, op1):
         return issues
-
+    '''
+    
     # Build issue
     issue = Issue(node.contract_name, node.function_name, instruction['address'], "Integer Overflow ", "Warning")
 
diff --git a/requirements.txt b/requirements.txt
index 41ed10af..64ffc2b3 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -2,7 +2,7 @@ rlp<1.0.0
 ethereum>=2.3.0
 ZODB>=5.3.0
 z3-solver>=4.5
-laser-ethereum>=0.17.3
+laser-ethereum>=0.17.4
 requests
 BTrees
 plyvel
diff --git a/setup.py b/setup.py
index 9d9325c1..b285c880 100755
--- a/setup.py
+++ b/setup.py
@@ -5,7 +5,7 @@ import os
 # Package version (vX.Y.Z). It must match git tag being used for CircleCI
 # deployment; otherwise the build will failed.
 
-VERSION = "v0.17.3"
+VERSION = "v0.17.4"
 
 class VerifyVersionCommand(install):
   """Custom command to verify that the git tag matches our version"""
@@ -307,7 +307,7 @@ setup(
         'ethereum>=2.3.0',
         'ZODB>=5.3.0',
         'z3-solver>=4.5',
-        'laser-ethereum>=0.17.3',
+        'laser-ethereum>=0.17.4',
         'requests',
         'BTrees',
         'py-solc',