From 4437588c294968a87983277759be8adeb6bab0b1 Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Thu, 10 May 2018 17:48:57 +0700
Subject: [PATCH] Bump laser version

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

diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py
index 6efab284..a406f33c 100644
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@@ -182,7 +182,6 @@ def _check_integer_underflow(statespace, state, node):
                 # If we get to this point then there has been an integer overflow
                 # Find out if the overflowed value is actually used
                 interesting_usages = _search_children(statespace, node, (op0 - op1), index=node.states.index(state))
-                logging.debug(interesting_usages)
 
                 # Stop if it isn't
                 if len(interesting_usages) == 0:
@@ -230,7 +229,6 @@ def _check_taint(statement, expression):
 
 def _check_jumpi(state, expression):
     """ Check if conditional jump is dependent on the result of expression"""
-    logging.debug(state.get_current_instruction()['opcode'])
     assert state.get_current_instruction()['opcode'] == 'JUMPI'
     condition = state.mstate.stack[-2]
     return _check_taint(condition, expression)
@@ -238,7 +236,6 @@ def _check_jumpi(state, expression):
 
 def _check_sstore(state, expression):
     """ Check if store operation is dependent on the result of expression"""
-    logging.debug(state.get_current_instruction()['opcode'])
     assert state.get_current_instruction()['opcode'] == 'SSTORE'
     value = state.mstate.stack[-2]
     return _check_taint(value, expression)
diff --git a/requirements.txt b/requirements.txt
index 64ffc2b3..b1c7beaa 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.4
+laser-ethereum>=0.17.5
 requests
 BTrees
 plyvel
diff --git a/setup.py b/setup.py
index b285c880..725c0b57 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.4"
+VERSION = "v0.17.5"
 
 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.4',
+        'laser-ethereum>=0.17.5',
         'requests',
         'BTrees',
         'py-solc',