From 3b91d912bf021e0d723605271c4500cb92da6f53 Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Wed, 8 Nov 2017 00:48:28 +0700
Subject: [PATCH] LASER version bump and small fixes

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

diff --git a/mythril/analysis/symbolic.py b/mythril/analysis/symbolic.py
index ee024154..dbd9a399 100644
--- a/mythril/analysis/symbolic.py
+++ b/mythril/analysis/symbolic.py
@@ -58,15 +58,11 @@ class StateSpace:
 
                     index, value = stack.pop(), stack.pop()
 
-                    logging.info("SSTORE: " + str(index) + " " + str(value))
-
                     try:
                         self.sstors[str(index)].append(SStore(self.nodes[key], instruction['address'], value))
                     except KeyError:
                         self.sstors[str(index)] = [SStore(self.nodes[key], instruction['address'], value)]
 
-        logging.info(self.sstors)
-
         self.sstor_analysis()
 
 
diff --git a/requirements.txt b/requirements.txt
index d7e44a53..f20cfd9d 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -2,6 +2,6 @@ ethereum>=2.0.4
 ZODB>=5.3.0
 z3-solver>=4.5
 web3
-laser-ethereum==0.2.11
+laser-ethereum==0.2.12
 requests
 BTrees
diff --git a/setup.py b/setup.py
index 3cde2648..ff6594ff 100755
--- a/setup.py
+++ b/setup.py
@@ -219,7 +219,7 @@ security community.
 setup(
     name='mythril',
 
-    version='0.8.2',
+    version='0.8.3',
 
     description='A reversing and bug hunting framework for the Ethereum blockchain',
     long_description=long_description,
@@ -256,7 +256,7 @@ setup(
         'web3',
         'ZODB>=5.3.0',
         'z3-solver>=4.5',
-        'laser-ethereum==0.2.11',
+        'laser-ethereum==0.2.12',
         'requests',
         'BTrees'
     ],