Apply black

mythril/laser/ethereum/keccak.py

@@ -1,7 +1,6 @@
 from z3 import ExprRef, BitVecRef
 
 
-
 class KeccakFunctionManager:
     def __init__(self):
         self.keccak_expression_mapping = {}

mythril/laser/ethereum/taint_analysis.py

@@ -8,7 +8,6 @@ from mythril.laser.ethereum.state import GlobalState, Environment
 from mythril.analysis.symbolic import SymExecWrapper
 
 
-
 class TaintRecord:
     """
     TaintRecord contains tainting information for a specific (state, node)

mythril/laser/ethereum/transaction/transaction_models.py

@@ -1,7 +1,13 @@
 import logging
 from typing import Union
 from mythril.disassembler.disassembly import Disassembly
-from mythril.laser.ethereum.state import GlobalState, Environment, WorldState, Account, Calldata
+from mythril.laser.ethereum.state import (
+    GlobalState,
+    Environment,
+    WorldState,
+    Account,
+    Calldata,
+)
 from z3 import BitVec, BitVecNumRef
 import array