From c4b25f482b437f9215796ef243aed13e970d669d Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Wed, 3 Apr 2019 14:40:36 +0200
Subject: [PATCH] apply style changes

---
 .../plugins/implementations/coverage/__init__.py  |  4 +++-
 .../implementations/coverage/coverage_strategy.py | 15 ++++++++++++---
 2 files changed, 15 insertions(+), 4 deletions(-)

diff --git a/mythril/laser/ethereum/plugins/implementations/coverage/__init__.py b/mythril/laser/ethereum/plugins/implementations/coverage/__init__.py
index 7aff2047..b600877d 100644
--- a/mythril/laser/ethereum/plugins/implementations/coverage/__init__.py
+++ b/mythril/laser/ethereum/plugins/implementations/coverage/__init__.py
@@ -1 +1,3 @@
-from mythril.laser.ethereum.plugins.implementations.coverage.coverage_plugin import InstructionCoveragePlugin
+from mythril.laser.ethereum.plugins.implementations.coverage.coverage_plugin import (
+    InstructionCoveragePlugin,
+)
diff --git a/mythril/laser/ethereum/plugins/implementations/coverage/coverage_strategy.py b/mythril/laser/ethereum/plugins/implementations/coverage/coverage_strategy.py
index 4390a775..2ffa29d6 100644
--- a/mythril/laser/ethereum/plugins/implementations/coverage/coverage_strategy.py
+++ b/mythril/laser/ethereum/plugins/implementations/coverage/coverage_strategy.py
@@ -1,6 +1,8 @@
 from mythril.laser.ethereum.strategy import BasicSearchStrategy
 from mythril.laser.ethereum.state.global_state import GlobalState
-from mythril.laser.ethereum.plugins.implementations.coverage import InstructionCoveragePlugin
+from mythril.laser.ethereum.plugins.implementations.coverage import (
+    InstructionCoveragePlugin,
+)
 
 
 class CoverageStrategy(BasicSearchStrategy):
@@ -11,10 +13,17 @@ class CoverageStrategy(BasicSearchStrategy):
 
     This strategy is intended to be used "on top of" another one
     """
-    def __init__(self, super_strategy: BasicSearchStrategy, instruction_coverage_plugin: InstructionCoveragePlugin):
+
+    def __init__(
+        self,
+        super_strategy: BasicSearchStrategy,
+        instruction_coverage_plugin: InstructionCoveragePlugin,
+    ):
         self.super_strategy = super_strategy
         self.instruction_coverage_plugin = instruction_coverage_plugin
-        BasicSearchStrategy.__init__(self, super_strategy.work_list, super_strategy.max_depth)
+        BasicSearchStrategy.__init__(
+            self, super_strategy.work_list, super_strategy.max_depth
+        )
 
     def get_strategic_global_state(self) -> GlobalState:
         """